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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - total
total

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4728-4729
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4722-4722 The number 1 argument of total is an instance of class
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4724-4724 The number 2 argument of total is an instance of quantity
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4720-4720 total is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1209-1209
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4726-4726 "total" is the printable form of total in english language

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4731-4735

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3407-3422
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3161-3187
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3204-3230


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners