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 30254-30257
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30262-30262 The number 1 argument of shortage is an instance of agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30264-30264 The number 3 argument of shortage is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30265-30265 The number 4 argument of shortage is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30266-30266 The number 5 argument of shortage is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30263-30263 The number 2 argument of shortage is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30260-30260 shortage is an instance of quintary relation

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30332-30347
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30276-30286
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30299-30314
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30349-30363
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30288-30297
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30316-30330
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30268-30274


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