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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26407-26407	子類 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 64777-64777

antecedent

No TPTP formula. May not be expressible in strict first order.	Biography.kif 730-740	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 742-751	例 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 26399-26405	例 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 717-726

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