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

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 and Artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28044-28044	子類 Document and ContentBearingObject

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28065-28065	子類 Book and Document
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2589-2589	子類 BusinessRequirementDocument and Document
No TPTP formula. May not be expressible in strict first order.	Media.kif 952-952	子類 Correspondence and Document
No TPTP formula. May not be expressible in strict first order.	Media.kif 1033-1033	子類 HardcopyDocument and Document
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2747-2747	子類 TestProtocolSpecification and Document
No TPTP formula. May not be expressible in strict first order.	Media.kif 930-930	子類 TextDocument and Document
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64800-64800	子類 TextDocument and Document

antecedent

No TPTP formula. May not be expressible in strict first order.	Biography.kif 738-748	attribute AutonomousAgent and 作家例 Entity and ContentBearingObject 子類 ContentBearingObject and Text 子類 ContentBearingObject and Document 例 Process and Writing agent Process and AutonomousAgent 結果 Process and Entity 作者 AutonomousAgent and ContentBearingObject
No TPTP formula. May not be expressible in strict first order.	Biography.kif 750-759	例 AutonomousAgent and Human 例 Process and Writing 例 Entity and Text 例 Entity and Document 結果 Process and Entity agent Process and AutonomousAgent attribute AutonomousAgent and 作家
No TPTP formula. May not be expressible in strict first order.	Media.kif 938-943	例 Object and Text 例 Object and Document 部分 Object and Object 例 Object and TextDocument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28057-28063	例 Physical and Document 有目的 Physical and entity 例 entity and Communication 儀器 entity and Physical

consequent

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

Biography.kif 725-734

attribute AutonomousAgent and 作家
Entity Process 例 Process and Writing 例 Entity and Text 例 Entity and Document agent Process and AutonomousAgent 結果 Process and Entity

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