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