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

Formal Language: 



KB Term:  Term intersection
English Word: 

  shortage

 Sigma KEE - shortage
shortage

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30864-30867
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30872-30872 shortage 的 1 数量 是 施事体 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30874-30874 shortage 的 3 数量 是 货币测量 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30875-30875 shortage 的 4 数量 是 时距 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30876-30876 shortage 的 5 数量 是 数量 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30873-30873 shortage 的 2 数量 是 客体 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30870-30870 shortage 是 五元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30869-30869
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30868-30868

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30944-30959
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30886-30896
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30911-30926
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30961-30975
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30900-30909
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30928-30942
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30878-30884


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