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

Formal Language: 



KB Term:  Term intersection
English Word: 

  uses

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 4581-4584
No TPTP formula. May not be expressible in strict first order. Merge.kif 4578-4578 The number 1 argument of uses is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4579-4579 The number 2 argument of uses is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 4577-4577 uses is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4576-4576 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. domainEnglishFormat.kif 60827-60827
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 60826-60826
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60825-60825

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 820-841
No TPTP formula. May not be expressible in strict first order. Hotel.kif 526-541
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25231-25243
No TPTP formula. May not be expressible in strict first order. Hotel.kif 850-875
No TPTP formula. May not be expressible in strict first order. Hotel.kif 549-568
No TPTP formula. May not be expressible in strict first order. Merge.kif 4586-4591

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 332-346
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21906-21913
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1971-1976
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1728-1733
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 959-967
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17249-17255
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 4169-4171


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