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 847-848
No TPTP formula. May not be expressible in strict first order. Merge.kif 845-845 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 1222-1222 Collection is disjoint from self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 882-882 The range of back is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 862-862 The range of front is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 14611-14611 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 1186-1186 Corpuscular object is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 14626-14626 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 14628-14628 Meat is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 850-850 OrganicThing is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2324-2324 Ramp is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2573-2573 Ship container is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1001-1001 Substance is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 14035-14035 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 881-881 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 861-861 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 17412-17412 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 9622-9622 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 9623-9623 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 6379-6379 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 979-979 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 7462-7462 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 9768-9768 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 22230-22230 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 16895-16895 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 9652-9652 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 9653-9653 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 9590-9590 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 9591-9591 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 9637-9637 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 9638-9638 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 7196-7196 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 2604-2604 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 3035-3035 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 3045-3045 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 9424-9429 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 4841-4855
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4830-4839
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4823-4828
No TPTP formula. May not be expressible in strict first order. Merge.kif 893-895
No TPTP formula. May not be expressible in strict first order. Merge.kif 874-876

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 12252-12257
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13996-14002
No TPTP formula. May not be expressible in strict first order. Merge.kif 12268-12273


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