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 4100-4103
No TPTP formula. May not be expressible in strict first order. Merge.kif 4097-4097 The number 1 argument of possesses is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 4098-4098 The number 2 argument of possesses is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4096-4096 possesses is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4095-4095 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 175-175
No TPTP formula. May not be expressible in strict first order. Merge.kif 10897-10897 Change of possession is internally related to possesses
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20307-20307 financialAsset is a subrelation of possesses
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2074-2074 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 46784-46784
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46783-46783
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46782-46782

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2270-2275 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 2352-2367
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 4398-4415
No TPTP formula. May not be expressible in strict first order. Merge.kif 4109-4115
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. FinancialOntology.kif 2219-2227
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2338-2347
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2282-2296
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6278-6283
No TPTP formula. May not be expressible in strict first order. Merge.kif 10902-10909
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 3483-3494
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 13161-13169
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21348-21355
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21243-21250
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3461-3466
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 13489-13500
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 13229-13236

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. Merge.kif 4132-4134 An object is an instance of belongings of an agent if and only if the agent possesses the object
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 25741-25753
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17007-17028
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3632-3640
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3649-3657
No TPTP formula. May not be expressible in strict first order. Merge.kif 4109-4115
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 15218-15234
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2338-2347
No TPTP formula. May not be expressible in strict first order. Merge.kif 10911-10921
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 15160-15178
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1288-1297
No TPTP formula. May not be expressible in strict first order. naics.kif 7960-7985
No TPTP formula. May not be expressible in strict first order. naics.kif 8743-8763
No TPTP formula. May not be expressible in strict first order. naics.kif 8472-8495
No TPTP formula. May not be expressible in strict first order. naics.kif 8714-8734
No TPTP formula. May not be expressible in strict first order. naics.kif 8041-8066
No TPTP formula. May not be expressible in strict first order. naics.kif 8535-8556
No TPTP formula. May not be expressible in strict first order. naics.kif 8351-8371
No TPTP formula. May not be expressible in strict first order. naics.kif 8260-8282
No TPTP formula. May not be expressible in strict first order. naics.kif 8783-8804
No TPTP formula. May not be expressible in strict first order. naics.kif 8087-8112

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