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 30876-30879
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30884-30884 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 30886-30886 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 30887-30887 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 30888-30888 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 30885-30885 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 30882-30882 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 30881-30881
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30880-30880

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30956-30971
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30898-30908
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30923-30938
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30973-30987
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30912-30921
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30940-30954
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30890-30896


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