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 943-943 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 947-951
No TPTP formula. May not be expressible in strict first order. Merge.kif 944-944 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 945-945 The number 2 argument of contains is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 941-941 contains is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 942-942 contains is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 940-940 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 811-811
No TPTP formula. May not be expressible in strict first order. english_format.kif 812-812
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16855-16855
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 16854-16854
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16853-16853

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 953-958 A self connected objectan objectcontains %n{ない} if and only if there exists a hole such that the hole is a hole in the self connected object and the object properly fills the hole
No TPTP formula. May not be expressible in strict first order. Music.kif 313-319
No TPTP formula. May not be expressible in strict first order. Cars.kif 862-876
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5018-5022
No TPTP formula. May not be expressible in strict first order. Cars.kif 1737-1757
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5038-5042
No TPTP formula. May not be expressible in strict first order. Cars.kif 2796-2815
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5057-5062
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5008-5012
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25041-25049
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6330-6334
No TPTP formula. May not be expressible in strict first order. Merge.kif 936-938

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 2796-2815
No TPTP formula. May not be expressible in strict first order. engineering.kif 938-951
No TPTP formula. May not be expressible in strict first order. Merge.kif 10624-10631
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5457-5465
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5554-5562
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5531-5539
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5385-5393
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4589-4595
No TPTP formula. May not be expressible in strict first order. Cars.kif 956-962
No TPTP formula. May not be expressible in strict first order. Cars.kif 3570-3576
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6151-6165
No TPTP formula. May not be expressible in strict first order. Cars.kif 1515-1525
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4943-4952
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9418-9423
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4924-4926
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27719-27727
No TPTP formula. May not be expressible in strict first order. Cars.kif 2828-2857
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13214-13220
No TPTP formula. May not be expressible in strict first order. Cars.kif 991-1002
No TPTP formula. May not be expressible in strict first order. Cars.kif 983-989
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2068-2074
No TPTP formula. May not be expressible in strict first order. Cars.kif 4806-4812
No TPTP formula. May not be expressible in strict first order. Cars.kif 3298-3304
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6512-6518
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2515-2521

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners