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 4671-4674
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 4668-4668 The number 1 argument of uses is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4669-4669 The number 2 argument of uses is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 4667-4667 uses is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4666-4666 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 60860-60860
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 60859-60859
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60858-60858
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 841-862
No TPTP formula. May not be expressible in strict first order. Hotel.kif 546-561
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25840-25852
No TPTP formula. May not be expressible in strict first order. Hotel.kif 871-897
No TPTP formula. May not be expressible in strict first order. Hotel.kif 569-589
No TPTP formula. May not be expressible in strict first order. Merge.kif 4676-4681

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 22426-22433
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1966-1971
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1723-1728
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 998-1006
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17833-17839
No TPTP formula. May not be expressible in strict first order. Military.kif 137-143
No TPTP formula. May not be expressible in strict first order. Merge.kif 4253-4255


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