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 945-945 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 949-953
No TPTP formula. May not be expressible in strict first order. Merge.kif 946-946 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 947-947 The number 2 argument of contains is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 942-942 contains is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 944-944 contains is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 943-943 contains is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 941-941 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 16923-16923
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 16922-16922
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16921-16921

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 955-960 A self connected object contains an object 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 871-885
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4406-4410
No TPTP formula. May not be expressible in strict first order. Cars.kif 1755-1775
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4429-4433
No TPTP formula. May not be expressible in strict first order. Cars.kif 2825-2844
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4448-4453
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4396-4400
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23023-23031
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5730-5734
No TPTP formula. May not be expressible in strict first order. Merge.kif 937-939

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27031-27042
No TPTP formula. May not be expressible in strict first order. Cars.kif 2825-2844
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 10679-10686
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4856-4864
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4955-4963
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4931-4939
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4782-4790
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3985-3991
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 3610-3616
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5553-5567
No TPTP formula. May not be expressible in strict first order. Cars.kif 1533-1543
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4331-4340
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8534-8539
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4320-4322
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25726-25734
No TPTP formula. May not be expressible in strict first order. Cars.kif 2857-2886
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12210-12216
No TPTP formula. May not be expressible in strict first order. Cars.kif 1000-1011
No TPTP formula. May not be expressible in strict first order. Cars.kif 992-998
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1595-1601
No TPTP formula. May not be expressible in strict first order. Cars.kif 4849-4855
No TPTP formula. May not be expressible in strict first order. Cars.kif 3337-3343
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5885-5891

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