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 4088-4091
No TPTP formula. May not be expressible in strict first order. Merge.kif 4085-4085 The number 1 argument of possesses is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 4086-4086 The number 2 argument of possesses is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4084-4084 possesses is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4083-4083 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 10862-10862 Change of possession is internally related to possesses
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21812-21812 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 46721-46721
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46720-46720
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46719-46719

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2251-2256 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 2338-2353
No TPTP formula. May not be expressible in strict first order. Hotel.kif 814-835
No TPTP formula. May not be expressible in strict first order. Hotel.kif 522-537
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4347-4364
No TPTP formula. May not be expressible in strict first order. Merge.kif 4097-4103
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3166-3176
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2200-2208
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2319-2328
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2263-2277
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6913-6918
No TPTP formula. May not be expressible in strict first order. Merge.kif 10867-10874
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 3441-3452
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 14129-14137
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23084-23091
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22964-22971
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4067-4072
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1165-1169
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 469-476
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14463-14474
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1115-1119
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1181-1185
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14208-14215

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 4120-4122 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 780-788
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27707-27719
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18286-18307
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3590-3598
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3607-3615
No TPTP formula. May not be expressible in strict first order. Merge.kif 4097-4103
No TPTP formula. May not be expressible in strict first order. Transportation.kif 967-971
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1128-1132
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16374-16390
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2319-2328
No TPTP formula. May not be expressible in strict first order. Merge.kif 10876-10886
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 16319-16337
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1275-1284
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 8659-8679
No TPTP formula. May not be expressible in strict first order. naics.kif 8388-8411
No TPTP formula. May not be expressible in strict first order. naics.kif 8630-8650
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 8451-8472
No TPTP formula. May not be expressible in strict first order. naics.kif 8267-8287
No TPTP formula. May not be expressible in strict first order. naics.kif 8176-8198
No TPTP formula. May not be expressible in strict first order. naics.kif 8699-8720
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