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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CorpuscularObject
CorpuscularObject(corpuscular object)Band_Aid, Blarney_Stone, aerie, aery, air_bubble, articulate, articulated, back, backrest, band, beehive, bicameral, bifurcate, bifurcated, biramous, blind_bend, blind_curve, bodied, branched, caliche, chambered, coat, coat_of_paint, coating, commemorative, complex, composite, conglomerate, consolidation, corporal, corporate, custom-built, custom-made, cut, discard, disposable, divot, embodied, eyrie, eyry, facial_tissue, fiber, fibre, fibril, filament, finish, finishing, flag, flagstone, float...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1129-1129 Corpuscular object is disjoint from substance
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1624-1625
No TPTP formula. May not be expressible in strict first order. Merge.kif 1130-1131
No TPTP formula. May not be expressible in strict first order. Merge.kif 1128-1128 Corpuscular object is a subclass of self connected object

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4696-4696 Bubble is a subclass of corpuscular object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1224-1224 Content bearing object is a subclass of corpuscular object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4723-4723 Nest is a subclass of corpuscular object
No TPTP formula. May not be expressible in strict first order. Merge.kif 13346-13346 Organic object is a subclass of corpuscular object
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1310-1310 Real estate is a subclass of corpuscular object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2548-2548 Sonar is a subclass of corpuscular object
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 830-830
No TPTP formula. May not be expressible in strict first order. english_format.kif 867-867

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 917-917 The number 1 argument of component is an instance of corpuscular object
No TPTP formula. May not be expressible in strict first order. Merge.kif 918-918 The number 2 argument of component is an instance of corpuscular object
No TPTP formula. May not be expressible in strict first order. Merge.kif 929-929 The number 2 argument of material is an instance of corpuscular object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1669-1669 The number 1 argument of power component is an instance of corpuscular object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1670-1670 The number 2 argument of power component is an instance of corpuscular object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4525-4525 The number 2 argument of slice of figure is an instance of corpuscular object

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 4303-4315
No TPTP formula. May not be expressible in strict first order. Cars.kif 4317-4330
No TPTP formula. May not be expressible in strict first order. Merge.kif 1133-1141

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11529-11534
No TPTP formula. May not be expressible in strict first order. Merge.kif 11554-11559
No TPTP formula. May not be expressible in strict first order. Cars.kif 2857-2886
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 127-132
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4156-4164
No TPTP formula. May not be expressible in strict first order. Cars.kif 4291-4301


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