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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SelfConnectedObject

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 839-840
No TPTP formula. May not be expressible in strict first order. Merge.kif 837-837 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 1214-1214 Collection is disjoint from self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 874-874 The range of back is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 854-854 The range of front is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 14588-14588 The values returned by FoodForFn are subclasses of self connected object
No TPTP formula. May not be expressible in strict first order. Geography.kif 4391-4391 Body of water is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1178-1178 Corpuscular object is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 14603-14603 Food is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Geography.kif 4621-4621 Iceberg is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 14605-14605 Meat is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 842-842 OrganicThing is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2316-2316 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 993-993 Substance is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 14012-14012 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 873-873 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 853-853 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 17333-17333 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 9611-9611 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 9612-9612 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 6341-6341 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 971-971 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 7454-7454 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 9757-9757 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 22121-22121 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 16818-16818 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 9641-9641 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 9642-9642 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 9579-9579 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 9580-9580 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 9626-9626 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 9627-9627 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 7188-7188 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 9413-9418 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 885-887
No TPTP formula. May not be expressible in strict first order. Merge.kif 866-868

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 12237-12242
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13943-13949
No TPTP formula. May not be expressible in strict first order. Merge.kif 12253-12258


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