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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 4248-4251
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 788-789
No TPTP formula. May not be expressible in strict first order. Merge.kif 4245-4245 The number 1 argument of possesses is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 4246-4246 The number 2 argument of possesses is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4244-4244 possesses is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4243-4243 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. french_format.kif 105-105
No TPTP formula. May not be expressible in strict first order. relations-it.txt 224-224
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1934-1934
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 57-57
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 135-135
No TPTP formula. May not be expressible in strict first order. relations-de.txt 212-212
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 262-262
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 124-124
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 107-107
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 416-416
No TPTP formula. May not be expressible in strict first order. Merge.kif 11642-11642 Change of possession is internally related to possesses
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23853-23853 financial asset is a subrelation of possesses
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2068-2068 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 46802-46802
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46801-46801
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46800-46800
No TPTP formula. May not be expressible in strict first order. terms-de.txt 66-66

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2321-2326 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 4427-4444
No TPTP formula. May not be expressible in strict first order. Merge.kif 4257-4263
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3188-3198
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2270-2278
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2397-2406
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2333-2355
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7269-7274
No TPTP formula. May not be expressible in strict first order. Merge.kif 11647-11654
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 3543-3554
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 16514-16522
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25158-25165
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25007-25014
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3528-3533
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 381-388
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16882-16893
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 16582-16589

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 632-640
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29507-29519
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20601-20623
No TPTP formula. May not be expressible in strict first order. Merge.kif 4257-4263
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 18679-18695
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2397-2406
No TPTP formula. May not be expressible in strict first order. Merge.kif 11656-11666
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 18621-18639
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1334-1343
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 12892-12897
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23828-23845
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1157-1166

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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