Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  PhysicalState

 Sigma KEE - PhysicalState
PhysicalState(物质状态)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3921-3923
No TPTP formula. May not be expressible in strict first order. Merge.kif 17544-17549
No TPTP formula. May not be expressible in strict first order. Merge.kif 17543-17543 固体 是所有的 物质状态 的 attributes
No TPTP formula. May not be expressible in strict first order. Merge.kif 17541-17541 物质状态 是 内在属性 的 subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 17564-17564 加油站 是 物质状态 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17555-17555 液体 是 物质状态 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17582-17582 等离子体 是 物质状态 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17551-17551 固体 是 物质状态 的 instance
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1247-1247
No TPTP formula. May not be expressible in strict first order. english_format.kif 1715-1715
No TPTP formula. May not be expressible in strict first order. french_format.kif 925-925
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 459-459
No TPTP formula. May not be expressible in strict first order. terms-it.txt 462-462
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2609-2609
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 877-877
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 498-498
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 946-946
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 463-463

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 1187-1187 降水状态 的 2 数量 是 物质状态 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31674-31674 roomTempState 的 2 数量 是 物质状态 的 instance

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 17576-17580

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 13756-13767
No TPTP formula. May not be expressible in strict first order. Merge.kif 17569-17574


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

Show without tree


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