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

Formal Language: 



KB Term:  Term intersection
English Word: 

  equipmentCount

 Sigma KEE - equipmentCount
equipmentCount

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24313-24318
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24309-24309 设备数量 的 1 数量 是 客体 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24311-24311 设备数量 的 3 数量 是 数量 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24310-24310 设备数量 的 2 数量 是 设备 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24308-24308 设备数量 是 三元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 915-915
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 914-914
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 913-913
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22342-22342
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22341-22341
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22340-22340

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2942-2947
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24336-24341

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24343-24349
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1958-1960
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1954-1956
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1881-1883


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