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

Formal Language: 



KB Term:  Term intersection
English Word: 

  buys

Sigma KEE - buys
buys

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28151-28152
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28155-28155 The number 1 argument of buys is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28156-28156 The number 2 argument of buys is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28157-28157 The number 3 argument of buys is an instance of entity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28150-28150 buys is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2943-2943
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2942-2942
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2941-2941
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28153-28153

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28159-28168
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28170-28180
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1506-1526
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2687-2699

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28206-28212
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28073-28093
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28098-28118


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