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 30900-30903
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30908-30908 shortage 的 1 数量 是 施事体 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30910-30910 shortage 的 3 数量 是 货币测量 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30911-30911 shortage 的 4 数量 是 时距 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30912-30912 shortage 的 5 数量 是 数量 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30909-30909 shortage 的 2 数量 是 客体 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30906-30906 shortage 是 五元谓语 的 instance

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30980-30995
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30922-30932
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30947-30962
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30997-31011
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30936-30945
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30964-30978
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30914-30920


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