PerformanceStage - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - PerformanceStage

PerformanceStage(表演階段)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15749-15750
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4792-4792
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15748-15748	子類表演階段 and StationaryArtifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45144-45144
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45143-45143
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45142-45142

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7351-7365	例 Object and 禮堂座位部分 Object and Object 部分 Object and Object 例 Object and 禮堂例 Object and 表演階段位於 Object and Object 例 Object and Human 子類 Process and Seeing Process 例 Process and Process 患者 Process and Object 能力 Process, agent and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15760-15765	例 Object and 表演階段 Object 例 Object and 禮堂部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15752-15758	例 Physical and 表演階段有目的 Physical and entity 例 entity and 示範 entity 是 located 在 Physical

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7333-7338	例 Object and 禮堂 Object 例 Object and 表演階段部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15860-15865	例 Process and 性能 Object 例 Object and 表演階段 Process 是 located 在 Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15771-15776	例 Object and 表演舞台翼 Object 例 Object and 表演階段部分 Object and Object

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