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

Formal Language: 


KB Term:  Term intersection
English Word: 

  contains

Sigma KEE - contains
contains

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1028-1028 contains and part are disjoint
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1584-1586 contains and part are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 1032-1036 contains and part are disjoint
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 161-164 contains and part are disjoint
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 189-193 contains and part are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 1029-1029 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 1030-1030 The number 2 argument of contains is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1025-1025 contains is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1027-1027 contains is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1026-1026 contains is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1024-1024 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 16941-16941
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 16940-16940
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16939-16939

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 11168-11190
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11229-11251
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 5137-5141
No TPTP formula. May not be expressible in strict first order. Cars.kif 1748-1768
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5160-5164
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 5190-5195
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1172-1185
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2829-2844
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5127-5131
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28728-28736
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7628-7632
No TPTP formula. May not be expressible in strict first order. Merge.kif 1038-1043
No TPTP formula. May not be expressible in strict first order. Merge.kif 997-999

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1045-1049
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32751-32762
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 1252-1265
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5499-5509
No TPTP formula. May not be expressible in strict first order. Merge.kif 11574-11581
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12578-12593
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1172-1185
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 6106-6114
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6210-6218
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6184-6192
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6023-6031
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4557-4563
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5915-5929
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 3654-3660
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7395-7409
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 4906-4915
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1329-1335
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2785-2794
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12294-12299
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4895-4897
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11339-11352

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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