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 Le nombre 1 argument de shortage est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30874-30874 Le nombre 3 argument de shortage est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30875-30875 Le nombre 4 argument de shortage est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30876-30876 Le nombre 5 argument de shortage est une instance de quantit�
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30873-30873 Le nombre 2 argument de shortage est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30870-30870 shortage est une instance de predicate quinternaire

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