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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OrganicObject
OrganicObject(organic object)
acicula, adenoid, adrenal, analogous, areolar, areolate, assurgent, autologous, bicapsular, bilocular, biloculate, bodily, cancellate, cancellated, cancellous, clathrate, corporal, corporeal, dedifferentiated, differentiated, generalised, generalized, heterologic, heterological, heterologous, homologic, homological, homologous, inorganic, man-made, monovalent, nonsynthetic, organic, pedunculate, physical, polyvalent, pruning, seasoned, semisynthetic, somatic, stalked, synthetic, uncured, unicellular, unseasoned, versatile

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


s__documentation(s__OrganicObject,s__ChineseLanguage,'"这是包含 Organism 和属于 Organism 一部分 CorpuscularObject 的类别,即是 BodyPart 和由 Organism 在非故意的情况下所造成的 CorpuscularObject,例如:ReproductiveBody。"')

chinese_format.kif 3369-3371
s__documentation(s__OrganicObject,s__EnglishLanguage,'"This class encompasses Organisms, CorpuscularObjects that are parts of Organisms, i.e. BodyParts, and CorpuscularObjects that are nonintentionally produced by Organisms, e.g. ReproductiveBodies."')

Merge.kif 13664-13667
s__externalImage(s__OrganicObject,'"http://upload.wikimedia.org/wikipedia/en/d/ de/ Humanpalm.JPG"')

pictureList.kif 908-908
s__partition__3(s__OrganicObject,s__Organism,s__AnatomicalStructure)

Merge.kif 13663-13663 Organic object is exhaustively partitioned into organism and anatomical structure
s__instance(s__CorpuscularObject,s__SetOrClass)

s__subclass(s__OrganicObject,s__CorpuscularObject)

s__instance(s__OrganicObject,s__SetOrClass)

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

s__subclass(s__OrganicObject,s__OrganicThing)

s__instance(s__OrganicObject,s__SetOrClass)

Merge.kif 13662-13662 Organic object is a subclass of OrganicThing

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


s__disjoint(s__ChemicalAgent,s__OrganicObject)

WMD.kif 442-442 Chemical agent is disjoint from organic object
s__relatedInternalConcept(s__Timber,s__OrganicObject)

Economy.kif 4503-4503 Timber is internally related to organic object
s__subclass(s__AnatomicalStructure,s__OrganicObject)

s__instance(s__AnatomicalStructure,s__SetOrClass)

s__instance(s__OrganicObject,s__SetOrClass)

Merge.kif 14216-14216 Anatomical structure is a subclass of organic object
s__subclass(s__Fodder,s__OrganicObject)

s__instance(s__Fodder,s__SetOrClass)

s__instance(s__OrganicObject,s__SetOrClass)

Mid-level-ontology.kif 18141-18141 Fodder is a subclass of organic object
s__subclass(s__Miswak,s__OrganicObject)

s__instance(s__OrganicObject,s__SetOrClass)

s__instance(s__Miswak,s__SetOrClass)

ArabicCulture.kif 340-340 Miswak is a subclass of organic object
s__instance(s__Organism,s__SetOrClass)

s__subclass(s__Organism,s__OrganicObject)

s__instance(s__OrganicObject,s__SetOrClass)

Merge.kif 13669-13669 Organism is a subclass of organic object
s__subclass(s__OrganismRemains,s__OrganicObject)

s__instance(s__OrganismRemains,s__SetOrClass)

s__instance(s__OrganicObject,s__SetOrClass)

Mid-level-ontology.kif 26-26 OrganismRemains is a subclass of organic object
s__termFormat(s__ChineseLanguage,s__OrganicObject,'"有机物体"')

chinese_format.kif 963-963
s__termFormat(s__EnglishLanguage,s__OrganicObject,'"organic object"')

english_format.kif 1138-1138

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


s__domain(s__developmentalForm__m,n__1,s__OrganicObject)

Merge.kif 13637-13637 The number 1 argument of developmental form is an instance of organic object
s__domainSubclass(s__bioindicatorForHabitat__m,n__2,s__OrganicObject)

Geography.kif 2574-2574 The number 2 argument of bioindicator for habitat is a subclass of organic object
s__domainSubclass(s__productOfAnimal__m,n__1,s__OrganicObject)

Mid-level-ontology.kif 18445-18445 The number 1 argument of productOfAnimal is a subclass of organic object
s__domainSubclass(s__secretesSubstance__m,n__1,s__OrganicObject)

Mid-level-ontology.kif 10708-10708 The number 1 argument of secretes substance is a subclass of organic object

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 230-235
( ! [V__REM,V__ORG,V__DEATH,V__ORGTYPE] :
   (((s__instance(V__ORG,s__Agent) &
         s__instance(V__ORG,s__Class) &
         s__subclass(V__ORGTYPE,s__Organism) &
         s__instance(V__ORGTYPE,s__Class))
       =>
       (((s__instance(V__REM,s__OrganicObject) &
             s__instance(V__DEATH,s__Death) &
             s__experiencer(V__DEATH,V__ORG)
           &
           s__instance(V__ORG,V__ORGTYPE)
         &
         s__subclass(V__ORG,s__Organism) &
         s__result(V__DEATH,V__REM))
     =>
     (s__instance(V__REM,s__DeadFn(V__ORGTYPE))))))
)
)

Mid-level-ontology.kif 122-130
( ! [V__REM,V__ORG,V__DEATH] :
   (((s__instance(V__REM,s__OrganicObject) &
         s__instance(V__DEATH,s__Death) &
         s__instance(V__ORG,s__Organism) &
         s__experiencer(V__DEATH,V__ORG)
       &
       s__result(V__DEATH,V__REM))
   =>
   (s__instance(V__REM,s__OrganismRemains)))
)
)

Mid-level-ontology.kif 56-63

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


( ! [V__ORG,V__ATT] :
   ((s__instance(V__ORG,s__Object) =>
       (((s__attribute(V__ORG,V__ATT)
           &
           s__instance(V__ATT,s__BiologicalAttribute))
         =>
         (s__instance(V__ORG,s__OrganicObject)))))
   )
)

Merge.kif 17215-17219
No TPTP formula. May not be expressible in strict first order. Merge.kif 9791-9806