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 4235-4238
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 4232-4232 The number 1 argument of possesses is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 4233-4233 The number 2 argument of possesses is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4231-4231 possesses is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4230-4230 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-108
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 11594-11594 Change of possession is internally related to possesses
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23951-23951 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 46823-46823
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46822-46822
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46821-46821
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 2335-2340 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 4425-4442
No TPTP formula. May not be expressible in strict first order. Merge.kif 4244-4250
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 2284-2292
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2411-2420
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2347-2369
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7236-7241
No TPTP formula. May not be expressible in strict first order. Merge.kif 11599-11606
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 3556-3567
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 16384-16392
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25221-25228
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25087-25094
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3500-3505
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 16752-16763
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 16452-16459

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 29612-29624
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20434-20456
No TPTP formula. May not be expressible in strict first order. Merge.kif 4244-4250
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 18512-18528
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2411-2420
No TPTP formula. May not be expressible in strict first order. Merge.kif 11608-11618
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 18454-18472
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 12783-12788
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23926-23943
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