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 24312-24317
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24308-24308 域 設備數量, 1 and Object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24310-24310 域 設備數量, 3 and Quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24309-24309 域子類 設備數量, 2 and Device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24307-24307 例 設備數量 and TernaryPredicate

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 24335-24340

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


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