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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CorpuscularObject

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
-------------------------


s__disjoint(s__CorpuscularObject,s__Substance)

Merge.kif 1149-1149 Corpuscular object is disjoint from substance
s__documentation(s__CorpuscularObject,s__ChineseLanguage,'"这是一个整体和部分之间不存在共有的特性 SelfConnectedObject。 "')

chinese_format.kif 1624-1625
s__documentation(s__CorpuscularObject,s__EnglishLanguage,'"A SelfConnectedObject whose parts have properties that are not shared by the whole."')

Merge.kif 1150-1151
s__instance(s__CorpuscularObject,s__SetOrClass)

s__instance(s__SelfConnectedObject,s__SetOrClass)

s__subclass(s__CorpuscularObject,s__SelfConnectedObject)

Merge.kif 1148-1148 Corpuscular object is a subclass of self connected object

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


s__instance(s__CorpuscularObject,s__SetOrClass)

s__instance(s__Bubble,s__SetOrClass)

s__subclass(s__Bubble,s__CorpuscularObject)

Mid-level-ontology.kif 4699-4699 Bubble is a subclass of corpuscular object
s__instance(s__CorpuscularObject,s__SetOrClass)

s__subclass(s__ContentBearingObject,s__CorpuscularObject)

s__instance(s__ContentBearingObject,s__SetOrClass)

Merge.kif 1255-1255 Content bearing object is a subclass of corpuscular object
s__instance(s__CorpuscularObject,s__SetOrClass)

s__subclass(s__Nest,s__CorpuscularObject)

s__instance(s__Nest,s__SetOrClass)

Mid-level-ontology.kif 4726-4726 Nest is a subclass of corpuscular object
s__subclass(s__Organelle,s__CorpuscularObject)

s__instance(s__CorpuscularObject,s__SetOrClass)

s__instance(s__Organelle,s__SetOrClass)

Mid-level-ontology.kif 9449-9449 Organelle is a subclass of corpuscular object
s__instance(s__CorpuscularObject,s__SetOrClass)

s__subclass(s__OrganicObject,s__CorpuscularObject)

s__instance(s__OrganicObject,s__SetOrClass)

Merge.kif 13694-13694 Organic object is a subclass of corpuscular object
s__instance(s__CorpuscularObject,s__SetOrClass)

s__instance(s__RealEstate,s__SetOrClass)

s__subclass(s__RealEstate,s__CorpuscularObject)

FinancialOntology.kif 1310-1310 Real estate is a subclass of corpuscular object
s__instance(s__Sonar,s__SetOrClass)

s__instance(s__CorpuscularObject,s__SetOrClass)

s__subclass(s__Sonar,s__CorpuscularObject)

Mid-level-ontology.kif 2550-2550 Sonar is a subclass of corpuscular object
s__termFormat(s__ChineseLanguage,s__CorpuscularObject,'"躯体性物体"')

chinese_format.kif 830-830
s__termFormat(s__EnglishLanguage,s__CorpuscularObject,'"corpuscular object"')

english_format.kif 867-867

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


s__domain(s__AmountsFn__m,n__2,s__CorpuscularObject)

Merge.kif 7362-7362 The number 2 argument of AmountsFn is an instance of corpuscular object
s__domain(s__amount__m,n__2,s__CorpuscularObject)

Merge.kif 7370-7370 The number 2 argument of amount is an instance of corpuscular object
s__domain(s__component__m,n__1,s__CorpuscularObject)

Merge.kif 918-918 The number 1 argument of component is an instance of corpuscular object
s__domain(s__component__m,n__2,s__CorpuscularObject)

Merge.kif 919-919 The number 2 argument of component is an instance of corpuscular object
s__domain(s__material__m,n__2,s__CorpuscularObject)

Merge.kif 930-930 The number 2 argument of material is an instance of corpuscular object
s__domain(s__powerComponent__m,n__1,s__CorpuscularObject)

Mid-level-ontology.kif 1670-1670 The number 1 argument of power component is an instance of corpuscular object
s__domain(s__powerComponent__m,n__2,s__CorpuscularObject)

Mid-level-ontology.kif 1671-1671 The number 2 argument of power component is an instance of corpuscular object
s__domain(s__sliceOfFigure__m,n__2,s__CorpuscularObject)

Mid-level-ontology.kif 4528-4528 The number 2 argument of slice of figure is an instance of corpuscular object
s__domainSubclass(s__substanceElement__m,n__1,s__CorpuscularObject)

Merge.kif 1164-1164 The number 1 argument of substance element is a subclass of corpuscular object

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


( ! [V__HR,V__H,V__K] :
   (((s__instance(V__HR,s__Reel) &
         s__instance(V__K,s__Keeping) &
         s__instance(V__H,s__CorpuscularObject) &
         s__attribute(V__H,s__LongAndThin) &
         s__attribute(V__H,s__Pliable) &
         s__instrument(V__K,V__HR)
       &
       s__patient(V__K,V__H))
   =>
   (( ? [V__P] :
       ((s__instance(V__P,s__Object) &
           (s__part(V__P,V__H)
           &
           s__meetsSpatially(V__P,V__HR)))))))
)
)

Cars.kif 4290-4302
( ! [V__HR,V__H,V__K] :
   (((s__instance(V__HR,s__Reel) &
         s__instance(V__K,s__Keeping) &
         s__instance(V__H,s__CorpuscularObject) &
         s__attribute(V__H,s__LongAndThin) &
         s__attribute(V__H,s__Pliable) &
         s__instrument(V__K,V__HR)
       &
       s__patient(V__K,V__H))
   =>
   (( ? [V__R] :
       ((s__instance(V__R,s__Rotating) &
           s__patient(V__R,V__HR)
         &
         s__subProcess(V__R,V__K))))))
)
)

Cars.kif 4304-4317
( ! [V__OBJ] :
   ((s__instance(V__OBJ,s__CorpuscularObject) =>
       (( ? [V__SUBSTANCE1, V__SUBSTANCE2] :
           ((s__subclass(V__SUBSTANCE1,s__Substance) &
               s__instance(V__SUBSTANCE1,s__Class) &
               s__subclass(V__SUBSTANCE2,s__Substance) &
               s__instance(V__SUBSTANCE2,s__Class) &
               (s__subclass(V__SUBSTANCE1,s__Substance) &
                 s__subclass(V__SUBSTANCE2,s__Substance) &
                 s__material(V__SUBSTANCE1,V__OBJ)
               &
               s__material(V__SUBSTANCE2,V__OBJ)
             &
             ~((V__SUBSTANCE1 = V__SUBSTANCE2))))))))
)
)

Merge.kif 1153-1161

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


( ! [V__ATTACH] :
   ((s__instance(V__ATTACH,s__Attaching) =>
       (( ? [V__OBJ] :
           ((s__instance(V__OBJ,s__CorpuscularObject) &
               s__patient(V__ATTACH,V__OBJ))))))
   )
)

Merge.kif 11780-11785
( ! [V__DETACH] :
   ((s__instance(V__DETACH,s__Detaching) =>
       (( ? [V__OBJ] :
           ((s__instance(V__OBJ,s__CorpuscularObject) &
               s__patient(V__DETACH,V__OBJ))))))
   )
)

Merge.kif 11828-11833
No TPTP formula. May not be expressible in strict first order. Cars.kif 2843-2872
( ! [V__PGUIDE] :
   ((s__instance(V__PGUIDE,s__PhysicalGuiding) =>
       (( ? [V__MOVED] :
           ((s__patient(V__PGUIDE,V__MOVED)
             &
             s__instance(V__MOVED,s__CorpuscularObject))))))
   )
)

ComputerInput.kif 127-132
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4159-4167
No TPTP formula. May not be expressible in strict first order. Cars.kif 4278-4288


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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