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

Formal Language: 



KB Term:  Term intersection
English Word: 

  possesses

Sigma KEE - possesses
possesses

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2133-2134
No TPTP formula. May not be expressible in strict first order. Merge.kif 4158-4161
No TPTP formula. May not be expressible in strict first order. Merge.kif 4155-4155 The number 1 argument of possesses is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 4156-4156 The number 2 argument of possesses is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4154-4154 possesses is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4153-4153 possesses 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 171-171
No TPTP formula. May not be expressible in strict first order. english_format.kif 172-172
No TPTP formula. May not be expressible in strict first order. Merge.kif 11475-11475 Change of possession is internally related to possesses
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23293-23293 financialAsset is a subrelation of possesses
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2073-2073 has account is a subrelation of possesses
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 172-172
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46785-46785
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46784-46784
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46783-46783

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2365-2380
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. ComputingBrands.kif 4390-4407
No TPTP formula. May not be expressible in strict first order. Merge.kif 4167-4173
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3195-3205
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6929-6934
No TPTP formula. May not be expressible in strict first order. Merge.kif 11480-11487
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 218-226
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 203-211
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15934-15942
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24490-24497
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24356-24363
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3480-3485
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1176-1180
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 472-479
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16301-16312
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1126-1130
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1192-1196
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16002-16009
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15981-15995
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1097-1104
No TPTP formula. May not be expressible in strict first order. Dining.kif 1180-1199
No TPTP formula. May not be expressible in strict first order. naics.kif 11456-11468
No TPTP formula. May not be expressible in strict first order. Merge.kif 4175-4180

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 784-792
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28895-28907
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19919-19940
No TPTP formula. May not be expressible in strict first order. Merge.kif 4167-4173
No TPTP formula. May not be expressible in strict first order. Transportation.kif 978-982
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1139-1143
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18030-18046
No TPTP formula. May not be expressible in strict first order. Merge.kif 11489-11499
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 601-609
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17972-17990
No TPTP formula. May not be expressible in strict first order. naics.kif 7953-7978
No TPTP formula. May not be expressible in strict first order. naics.kif 8736-8756
No TPTP formula. May not be expressible in strict first order. naics.kif 8465-8488
No TPTP formula. May not be expressible in strict first order. naics.kif 8707-8727
No TPTP formula. May not be expressible in strict first order. naics.kif 8034-8059
No TPTP formula. May not be expressible in strict first order. naics.kif 8528-8549
No TPTP formula. May not be expressible in strict first order. naics.kif 8344-8364
No TPTP formula. May not be expressible in strict first order. naics.kif 8253-8275
No TPTP formula. May not be expressible in strict first order. naics.kif 8776-8797
No TPTP formula. May not be expressible in strict first order. naics.kif 8080-8105
No TPTP formula. May not be expressible in strict first order. Merge.kif 12650-12655
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23268-23285
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1157-1166
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17677-17687
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6531-6535

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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