Document - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Document

Document(document)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28046-28055
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28045-28045	Document is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28044-28044	Document is a subclass of content bearing object

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28065-28065	Book is a subclass of document
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.	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
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.	Media.kif 930-930	Text document is a subclass of document
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64800-64800	Text document is a subclass of document

antecedent

No TPTP formula. May not be expressible in strict first order.	Biography.kif 738-748	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.	Biography.kif 750-759	If an agent is an instance of human and a process is an instance of writing and an entity is an instance of text or the entity is an instance of document and the entity is a result of the process and the agent is an agent of the process, then writer is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	Media.kif 938-943	If an object is an instance of text and another object is an instance of document and the object is a part of the other object, then the other object is an instance of text document
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28057-28063	If a physical is an instance of document, then the physical has the purpose there exists an entity such that the entity is an instance of communication and the physical is an instrument for the entity

consequent

No TPTP formula. May not be expressible in strict first order.

Biography.kif 725-734

If writer is an attribute of an agent,
then there exist an entity and a process such that the process is an instance of writing and the entity is an instance of text or the entity is an instance of document and the agent is an agent of the process and the entity is a result of the process

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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