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 1185-1185 | 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 1186-1187 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1184-1184 | 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 4726-4726 | Bubble is a subclass of corpuscular object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1286-1286 | Content bearing object is a subclass of corpuscular object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4753-4753 | Nest is a subclass of corpuscular object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9690-9690 | Organelle is a subclass of corpuscular object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14085-14085 | Organic object is a subclass of corpuscular object |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1355-1355 | Real estate is a subclass of corpuscular object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2571-2571 | 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 862-862 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7488-7488 | The number 2 argument of AmountsFn is an instance of corpuscular object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7503-7503 | The number 2 argument of amount is an instance of corpuscular object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 948-948 | 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 949-949 | 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 960-960 | 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 1691-1691 | 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 1692-1692 | 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 4549-4549 | The number 2 argument of slice of figure is an instance of corpuscular object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1200-1200 | The number 1 argument of substance element is a subclass of corpuscular object |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |