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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - contains
contains

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1018-1018 contains and part are disjoint
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1584-1586
No TPTP formula. May not be expressible in strict first order. Merge.kif 1022-1026
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 161-164
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 189-193
No TPTP formula. May not be expressible in strict first order. Merge.kif 1019-1019 The number 1 argument of contains is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1020-1020 The number 2 argument of contains is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1015-1015 contains is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1017-1017 contains is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1016-1016 contains is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1014-1014 contains is an instance of spatial relation

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 800-800
No TPTP formula. May not be expressible in strict first order. english_format.kif 808-808
No TPTP formula. May not be expressible in strict first order. french_format.kif 481-481
No TPTP formula. May not be expressible in strict first order. english_format.kif 809-809
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 433-433
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 503-503
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16932-16932
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 801-801
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16931-16931
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16930-16930

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


No TPTP formula. May not be expressible in strict first order. Music.kif 316-322
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9839-9861
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9900-9922
No TPTP formula. May not be expressible in strict first order. Cars.kif 871-885
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4692-4696
No TPTP formula. May not be expressible in strict first order. Cars.kif 1741-1761
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4715-4719
No TPTP formula. May not be expressible in strict first order. Cars.kif 2811-2830
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4734-4739
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4682-4686
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26829-26837
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6691-6695
No TPTP formula. May not be expressible in strict first order. Merge.kif 1028-1033
No TPTP formula. May not be expressible in strict first order. Merge.kif 987-989

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1035-1039
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30815-30826
No TPTP formula. May not be expressible in strict first order. Cars.kif 2811-2830
No TPTP formula. May not be expressible in strict first order. engineering.kif 939-952
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5490-5500
No TPTP formula. May not be expressible in strict first order. Merge.kif 11424-11431
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11247-11262
No TPTP formula. May not be expressible in strict first order. WMD.kif 1071-1081
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5169-5177
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5273-5281
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5247-5255
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5086-5094
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4114-4120
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5897-5912
No TPTP formula. May not be expressible in strict first order. Cars.kif 965-971
No TPTP formula. May not be expressible in strict first order. Cars.kif 3593-3599
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6458-6472
No TPTP formula. May not be expressible in strict first order. Cars.kif 1519-1529
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4461-4470
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10963-10968
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4450-4452
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10010-10023
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29492-29500
No TPTP formula. May not be expressible in strict first order. Cars.kif 2843-2872
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15478-15484

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