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 864-865
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 862-862 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 1262-1262 Collection is disjoint from self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 899-899 The range of back is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 879-879 The range of front is an instance of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 14749-14749 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 4395-4395 Body of water is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1226-1226 Corpuscular object is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 14764-14764 Food is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Geography.kif 4625-4625 Iceberg is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 867-867 Organic thing is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2333-2333 Ramp is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2574-2574 Ship container is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1041-1041 Substance is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 14157-14157 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
No TPTP formula. May not be expressible in strict first order. french_format.kif 492-492
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 25-25
No TPTP formula. May not be expressible in strict first order. terms-it.txt 26-26
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2177-2177
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 444-444
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 29-29
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 59-59
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 513-513
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 29-29

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 898-898 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 878-878 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 17788-17788 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 9693-9693 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 9694-9694 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 6648-6648 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 1019-1019 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 7536-7536 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 995-995 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 22779-22779 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 17271-17271 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 9723-9723 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 9724-9724 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 9661-9661 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 9662-9662 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 9708-9708 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 9709-9709 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 7270-7270 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 2605-2605 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 3036-3036 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 3046-3046 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 9499-9503
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 4843-4857
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4832-4841
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4825-4830
No TPTP formula. May not be expressible in strict first order. Merge.kif 910-912
No TPTP formula. May not be expressible in strict first order. Merge.kif 891-893

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9505-9509
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 12366-12371
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14347-14353
No TPTP formula. May not be expressible in strict first order. Merge.kif 12382-12387


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