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 4166-4169
No TPTP formula. May not be expressible in strict first order. Merge.kif 4163-4163 The number 1 argument of possesses is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 4164-4164 The number 2 argument of possesses is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4162-4162 possesses is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4161-4161 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 11488-11488 Change of possession is internally related to possesses
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23402-23402 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. FinancialOntology.kif 2329-2334 A financial account is an instance of financial account and a cognitive agent possesses a financial asset and the financial account is equal to the account of the financial asset if and only if the cognitive agent holds account the financial account
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2392-2407
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. ComputingBrands.kif 4390-4407
No TPTP formula. May not be expressible in strict first order. Merge.kif 4175-4181
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3187-3197
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2278-2286
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2405-2414
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2341-2363
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6967-6972
No TPTP formula. May not be expressible in strict first order. Merge.kif 11493-11500
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 3547-3558
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 16009-16017
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24607-24614
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24473-24480
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3489-3494
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 16376-16387
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 16077-16084

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 29011-29023
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20005-20027
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3695-3703
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3712-3720
No TPTP formula. May not be expressible in strict first order. Merge.kif 4175-4181
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 18114-18130
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2405-2414
No TPTP formula. May not be expressible in strict first order. Merge.kif 11502-11512
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 18056-18074
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1333-1342
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 12669-12674

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