Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Biography.kif 730-740	If writer is an attribute of an agent and an entity is an instance of a kind of content bearing object and a kind of content bearing object is a subclass of text or the kind of content bearing object is a subclass of document and a process is an instance of writing and the agent is an agent of the process and the entity is a result of the process, then the agent is the author of the kind of content bearing object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26386-26386	Document is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26387-26387	Document is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2589-2589	Business requirement document is a subclass of document
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2747-2747	Test protocol specification is a subclass of document
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26407-26407	Book is a subclass of document
No TPTP formula. May not be expressible in strict first order.	Media.kif 930-930	Text document is a subclass of document
No TPTP formula. May not be expressible in strict first order.	Media.kif 952-952	Correspondence is a subclass of document
No TPTP formula. May not be expressible in strict first order.	Media.kif 1033-1033	Hardcopy document is a subclass of document

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners