. _:b665384408 . . . . _:b668298561 . . . . _:b665384401 "2024-09-14T20:03:05.134056"^^ . _:b665384408 "2024-09-14T20:03:06.768871"^^ . . . . . . . . . . _:b668298561 . . "has associated axiom(fol)"@en . . . _:b665384408 . . . _:b665384401 . . _:b665384408 . _:b665384408 . _:b668298561 . _:b665384408 . "has associated axiom(fol)"@en . _:b665384401 . _:b668298561 . . . . . . _:b665384401 . . . . . _:b668298561 "2024-11-23T03:43:49.103775"^^ . "Person:Alan Ruttenberg"@en . "An axiom expressed in first order logic using CLIF syntax"@en . . . . _:b668298561 . "Person:Alan Ruttenberg"@en . . . . . . . . . . . _:b665384401 . . _:b665384401 . . . . _:b665384401 . . .