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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - uses
uses

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2209-2211
No TPTP formula. May not be expressible in strict first order. Merge.kif 4699-4702
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 873-875
No TPTP formula. May not be expressible in strict first order. Merge.kif 4696-4696 The number 1 argument of uses is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4697-4697 The number 2 argument of uses is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 4695-4695 uses is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4694-4694 uses is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 247-247
No TPTP formula. May not be expressible in strict first order. english_format.kif 248-248
No TPTP formula. May not be expressible in strict first order. french_format.kif 140-140
No TPTP formula. May not be expressible in strict first order. relations-it.txt 308-308
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1972-1972
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 92-92
No TPTP formula. May not be expressible in strict first order. relations-de.txt 317-317
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 344-344
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 159-159
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 145-145
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 500-500
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60854-60854
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 248-248
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60853-60853
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60852-60852
No TPTP formula. May not be expressible in strict first order. terms-de.txt 102-102

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 847-868
No TPTP formula. May not be expressible in strict first order. Hotel.kif 548-563
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27738-27750
No TPTP formula. May not be expressible in strict first order. Hotel.kif 879-905
No TPTP formula. May not be expressible in strict first order. Hotel.kif 573-593
No TPTP formula. May not be expressible in strict first order. Merge.kif 4704-4709

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 336-350
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24067-24074
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2097-2102
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1854-1859
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 991-999
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19384-19390
No TPTP formula. May not be expressible in strict first order. Military.kif 147-153
No TPTP formula. May not be expressible in strict first order. Merge.kif 4281-4283


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