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 857-858
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 126-127
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 146-147
No TPTP formula. May not be expressible in strict first order. Merge.kif 855-855 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 1272-1272 Collection is disjoint from self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 892-892 The range of back is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 872-872 The range of front is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 15012-15012 The values returned by food for fn are subclasses of self connected object
No TPTP formula. May not be expressible in strict first order. Geography.kif 4870-4870 Body of water is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1236-1236 Corpuscular object is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 15027-15027 Food is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Geography.kif 5101-5101 Iceberg is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 860-860 Organic thing is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2824-2824 Ramp is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1051-1051 Substance is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 14419-14419 Transitway is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 816-816 Transitway is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. english_format.kif 834-834 Transitway is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. french_format.kif 492-492 Transitway is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 25-25 Transitway is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. terms-it.txt 28-28 Transitway is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2177-2177 Transitway is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 444-444 Transitway is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 29-29 Transitway is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 59-59 Transitway is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. terms-de.txt 318-318 Transitway is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 513-513 Transitway is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 29-29 Transitway is a subclass of self connected object

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 891-891 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 871-871 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 19512-19512 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 9847-9847 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 9848-9848 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 7618-7618 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 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 7598-7598 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 1005-1005 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 24340-24340 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 18952-18952 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 9877-9877 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 9878-9878 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 9813-9813 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 9814-9814 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 9862-9862 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 9863-9863 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 7328-7328 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 1662-1662 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 1663-1663 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 3136-3136 The number 2 argument of trafficable for traffic type is a subclass of self connected object

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9651-9655
No TPTP formula. May not be expressible in strict first order. Cars.kif 1971-1983
No TPTP formula. May not be expressible in strict first order. Economy.kif 2059-2070
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 4638-4652
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4627-4636
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4620-4625
No TPTP formula. May not be expressible in strict first order. Merge.kif 904-906
No TPTP formula. May not be expressible in strict first order. Merge.kif 884-886

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9657-9661
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 537-563
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 12629-12634
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15848-15854
No TPTP formula. May not be expressible in strict first order. Economy.kif 2149-2162
No TPTP formula. May not be expressible in strict first order. Merge.kif 12645-12650
No TPTP formula. May not be expressible in strict first order. Economy.kif 2072-2082


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