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 948-948 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 952-956
No TPTP formula. May not be expressible in strict first order. Merge.kif 949-949 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 950-950 The number 2 argument of contains is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 946-946 contains is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 947-947 contains is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 945-945 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 16861-16861 "包含" is the printable form of contains in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 801-801 "容纳" is the printable form of contains in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16860-16860 "包含" is the printable form of contains in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16859-16859 "contains" is the printable form of contains in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 958-963 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 861-875
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5015-5019
No TPTP formula. May not be expressible in strict first order. Cars.kif 1736-1756
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5035-5039
No TPTP formula. May not be expressible in strict first order. Cars.kif 2795-2814
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5054-5059
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5005-5009
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24881-24889
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6323-6327
No TPTP formula. May not be expressible in strict first order. Merge.kif 941-943

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 2795-2814
No TPTP formula. May not be expressible in strict first order. engineering.kif 934-947
No TPTP formula. May not be expressible in strict first order. Merge.kif 10490-10497
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5454-5462
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5546-5554
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5523-5531
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5382-5390
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4586-4592
No TPTP formula. May not be expressible in strict first order. Cars.kif 955-961
No TPTP formula. May not be expressible in strict first order. Cars.kif 3569-3575
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6143-6157
No TPTP formula. May not be expressible in strict first order. Cars.kif 1514-1524
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4940-4949
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9407-9412
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4921-4923
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27567-27575
No TPTP formula. May not be expressible in strict first order. Cars.kif 2827-2856
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13154-13160
No TPTP formula. May not be expressible in strict first order. Cars.kif 990-1001
No TPTP formula. May not be expressible in strict first order. Cars.kif 982-988
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2064-2070
No TPTP formula. May not be expressible in strict first order. Cars.kif 4805-4811
No TPTP formula. May not be expressible in strict first order. Cars.kif 3297-3303
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6503-6509
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2511-2517

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