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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - buys
buys

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29363-29364
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29367-29367 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 29368-29368 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 29369-29369 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 29362-29362 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 2947-2947
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2946-2946
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2945-2945
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29365-29365

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29371-29380
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29382-29392
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1533-1553
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2714-2726

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29418-29424
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29280-29300
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29307-29327


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 3.0 is open source software produced by Articulate Software and its partners