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 4495-4498
No TPTP formula. May not be expressible in strict first order. Merge.kif 4492-4492 The number 1 argument of uses is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4493-4493 The number 2 argument of uses is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 4491-4491 uses is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4490-4490 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 251-251
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. chinese_format.kif 248-248
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60825-60825
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60824-60824

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. 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 4500-4505

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 18896-18903
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1972-1977
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 938-946
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14413-14419
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 4105-4107


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