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 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 60844-60844
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 60843-60843
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60842-60842

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 20365-20372
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 1385-1393
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15477-15483
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 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