A KIF formalization of the IFF category theory ontology (2001)

by R Kent
Venue:In IJCAI 2001 Workshop of the IEEE Standard Upper Ontology