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 821-822
No TPTP formula. May not be expressible in strict first order. Merge.kif 819-819 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 1188-1188 Collection is disjoint from self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 856-856 The range of back is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 836-836 The range of front is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 14253-14253 The values returned by FoodForFn are subclasses of self connected object
No TPTP formula. May not be expressible in strict first order. Geography.kif 4331-4331 Body of water is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1147-1147 Corpuscular object is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 14268-14268 Food is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Geography.kif 4542-4542 Iceberg is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 14270-14270 Meat is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 824-824 OrganicThing is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2297-2297 Ramp is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2581-2581 Ship container is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 962-962 Substance is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 13677-13677 Transitway is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 816-816
No TPTP formula. May not be expressible in strict first order. english_format.kif 834-834

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 855-855 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 835-835 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 17306-17306 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 9347-9347 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 9348-9348 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 6315-6315 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 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 7315-7315 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 9485-9485 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 22093-22093 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 16791-16791 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 9377-9377 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 9378-9378 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 9315-9315 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 9316-9316 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 9362-9362 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 9363-9363 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 7049-7049 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 50-50 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 51-51 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 2612-2612 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 3043-3043 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 3053-3053 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 9176-9181 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 1987-1999
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 4839-4853
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4828-4837
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4821-4826
No TPTP formula. May not be expressible in strict first order. Merge.kif 867-869
No TPTP formula. May not be expressible in strict first order. Merge.kif 848-850

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 11934-11939
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13916-13922
No TPTP formula. May not be expressible in strict first order. Merge.kif 11950-11955


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