Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  capacity

Sigma KEE - capacity
capacity

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6684-6689
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6681-6681 The number 1 argument of capacity is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6682-6682 The number 2 argument of capacity is an instance of constant quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6680-6680 capacity is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6683-6683 capacity is internally related to human capacity

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 352-352
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 351-351
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 350-350
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13044-13044
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13043-13043
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13042-13042

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1314-1348

consequent
-------------------------


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


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