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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SelfConnectedObject
SelfConnectedObject(self connected object)A-horizon, A_horizon, B-horizon, B_horizon, C-horizon, C_horizon, absorbate, absorbent, absorbent_material, absorber, acrylic, acrylic_fiber, adsorbate, adsorbent, adsorbent_material, ball, bar, bed, belay, belting, black_body, blackbody, blade, blank, bodied, body, bog_soil, broken, building_material, cannel_coal, chunk, cinder, clinker, clod, clump, coal, coal_seam, coalface, continuum, crash_barrier, debris, detritus, diamagnet, diapir, drift, drumlin, dust, ember, faced, feedstock...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1555-1556
No TPTP formula. May not be expressible in strict first order. Merge.kif 822-823
No TPTP formula. May not be expressible in strict first order. Merge.kif 820-820 Self connected object is a subclass of object

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1161-1161 Collection is disjoint from self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 861-861 The range of back is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 839-839 The range of front is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 13694-13694 The values returned by FoodForFn are subclasses of self connected object
No TPTP formula. May not be expressible in strict first order. Geography.kif 4248-4248 Body of water is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1131-1131 Corpuscular object is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 13709-13709 Food is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Weather.kif 967-967 Iceberg is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 13711-13711 Meat is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 825-825 OrganicThing is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2817-2817 Ramp is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2543-2543 Ship container is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 965-965 Substance is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 13127-13127 Transitway is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 816-816 "自身连接物体" is the printable form of self connected object in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 839-839 "self connected object" is the printable form of self connected object in english language

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 860-860 The number 1 argument of back is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 838-838 The number 1 argument of front is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15645-15645 The number 1 argument of approximate diameter is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9000-9000 The number 1 argument of bottom is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9001-9001 The number 2 argument of bottom is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6314-6314 The number 1 argument of capacity is an instance of self connected object
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 7071-7071 The number 1 argument of height is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9138-9138 The number 2 argument of hole is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20574-20574 The number 1 argument of member at time is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14960-14960 The number 1 argument of onboard is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9030-9030 The number 1 argument of side is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9031-9031 The number 2 argument of side is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 8968-8968 The number 1 argument of surface is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 8969-8969 The number 2 argument of surface is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9015-9015 The number 1 argument of top is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9016-9016 The number 2 argument of top is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 6861-6861 The number 1 argument of weight is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Food.kif 99-99 The number 1 argument of ingredient is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Food.kif 116-116 The number 1 argument of amount of ingredient is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Food.kif 117-117 The number 2 argument of amount of ingredient is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2574-2574 The number 2 argument of trafficable for traffic type is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3005-3005 The number 2 argument of transitway capacity count is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3015-3015 The number 2 argument of transitway capacity rate is a subclass of self connected object

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8833-8838 An object is an instance of self connected object if and only if for all another object and a third object
No TPTP formula. May not be expressible in strict first order. Cars.kif 1973-1985
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 144-169
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4836-4850
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4825-4834
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4818-4823
No TPTP formula. May not be expressible in strict first order. Merge.kif 872-874
No TPTP formula. May not be expressible in strict first order. Merge.kif 851-853

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 383-396
No TPTP formula. May not be expressible in strict first order. Cars.kif 403-416
No TPTP formula. May not be expressible in strict first order. Merge.kif 11438-11443
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12185-12191
No TPTP formula. May not be expressible in strict first order. Merge.kif 11454-11459


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