Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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__subclass(s__OrganicObject,s__CorpuscularObject)

 Merge.kif 14659-14659 Organic object is a subclass of corpuscular object
s__subclass(s__OrganicObject,s__OrganicThing)

 Merge.kif 14660-14660 Organic object is a subclass of organic thing
s__partition(s__OrganicObject,s__Organism,s__AnatomicalStructure)

 Merge.kif 14661-14661 Organic object is exhaustively partitioned into organism and anatomical structure
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 14662-14665 Organic object is exhaustively partitioned into organism and anatomical structure
s__externalImage(s__OrganicObject,"http:
//upload.wikimedia.org/wikipedia/en/d/de/Humanpalm.JPG")

 pictureList.kif 907-907 Organic object is exhaustively partitioned into organism and anatomical structure

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


s__subclass(s__Organism,s__OrganicObject)

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

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

 Merge.kif 18823-18823 Organism remains is a subclass of organic object
s__subclass(s__Organelle,s__OrganicObject)

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

 ArabicCulture.kif 351-351 Miswak is a subclass of organic object
s__relatedInternalConcept(s__Timber,s__OrganicObject)

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

 VirusProteinAndCellPart.kif 51-51 Nucleotide is a subclass of organic object
s__subclass(s__Biopolymer,s__OrganicObject)

 VirusProteinAndCellPart.kif 85-85 Biopolymer is a subclass of organic object
s__subclass(s__Gene,s__OrganicObject)

 VirusProteinAndCellPart.kif 625-625 Gene is a subclass of organic object
s__disjoint(s__ChemicalAgent,s__OrganicObject)

 WMD.kif 442-442 Chemical agent is disjoint from organic object
s__termFormat(s__EnglishLanguage, s__OrganicObject, "organic object") english_format.kif 1137-1137 Chemical agent is disjoint from organic object

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


s__domain(s__developmentalForm,n__1,s__OrganicObject)

 Merge.kif 14635-14635 The number 1 argument of developmental form is an instance of organic object
s__domainSubclass(s__DeadFn,n__1,s__OrganicObject)

 Merge.kif 18837-18837 The number 1 argument of Dead fn is a subclass of organic object
s__domainSubclass(s__secretesSubstance,n__1,s__OrganicObject)

 Mid-level-ontology.kif 13805-13805 The number 1 argument of secretes substance is a subclass of organic object
s__domainSubclass(s__OrganicObjectFn,n__1,s__OrganicObject)

 Economy.kif 5598-5598 The number 1 argument of organic object fn is a subclass of organic object
s__domainSubclass(s__bioindicatorForHabitat,n__2,s__OrganicObject)

 Geography.kif 4048-4048 The number 2 argument of bioindicator for habitat is a subclass of organic object

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


! [V__REM,V__DEATH,V__ORG] :
(((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 45-52 If X is an instance of organic object, Y is an instance of death, Z is an instance of organism, Z experiences Y, and X is a result of Y, then X is an instance of organism remains
! [V__ORG,V__ORGTYPE,V__REM,V__DEATH] :
(((s__instance(V__ORG,s__AutonomousAgent) &
       s__instance(V__ORGTYPE,s__Class) &
       s__subclass(V__ORGTYPE,s__OrganicObject))
     =>
     ((s__instance(V__REM,s__OrganismRemains) &
         s__instance(V__DEATH,s__Death) &
         s__experiencer(V__DEATH,V__ORG)
       &
       s__instance(V__ORG,V__ORGTYPE)
     &
     s__subclass(V__ORGTYPE,s__OrganicObject) &
     s__result(V__DEATH,V__REM))
=>
s__instance(V__REM,s__DeadFn(V__ORGTYPE))))
)

 Mid-level-ontology.kif 109-117 If All of the following hold: (1) X is an instance of organism remains (2) Y is an instance of death (3) Z experiences Y (4) Z is an instance of W (5) W is a subclass of organic object (6) X is a result of Y, then X is an instance of a dead W
! [V__ATTR : $i,V__ORG : $i,V__TIME : $i] : (((s__instance(V__ORG, s__OrganicObject) & s__instance(V__ATTR, s__DevelopmentalAttribute) & s__holdsDuring(V__TIME, s__property(V__ORG, V__ATTR))) => s__holdsDuring(V__TIME, s__developmentalForm(V__ORG, V__ATTR)))) Mid-level-ontology.kif 224-229 If X is an instance of organic object, Y is an instance of developmental attribute, and X the attribute Y holds during Z, then the developmental form of X is Y holds during Z

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


! [V__DEATH : $i,V__ORG : $i] : (((s__instance(V__DEATH, s__Death) & s__instance(V__ORG, s__Organism) & s__experiencer(V__DEATH, V__ORG)) => ( ? [V__REM:$i, V__OBJ:$i] : ((s__result(V__DEATH, V__REM) & s__instance(V__REM, s__OrganicObject) & s__holdsDuring(s__FutureFn(s__WhenFn(V__DEATH)), s__attribute(V__REM, s__Dead)) & (s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__DEATH)), s__part(V__OBJ, V__REM)) => s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__DEATH)), s__part(V__OBJ, V__ORG)))))))) Merge.kif 10450-10469 If X is an instance of death, Y is an instance of organism, and Y experiences X, then there exist Z and W such that Z is a result of X and Z is an instance of organic object and dead is an attribute of Z holds during after the time of existence of X and W is a part of Z holds during immediately after the time of existence of XW is a part of Y holds during immediately before the time of existence of X
! [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 18376-18380 If X is an attribute of Y and X is an instance of biological attribute, then Y is an instance of organic object
! [V__H,V__O] :
(((s__instance(V__H,s__Harvesting) &
       s__result(V__H,V__O))
   =>
   (? [V__ORG] :
     ((s__instance(V__ORG,s__Class) &
         s__subclass(V__ORG,s__OrganicObject) &
         (s__instance(V__O,s__DeadFn(V__ORG))
       &
       s__subclass(V__ORG,s__OrganicObject))))))
)

 Mid-level-ontology.kif 20018-20026 If X is an instance of harvesting and Y is a result of X, then there exists Z such that Y is an instance of a dead Z and Z is a subclass of organic object
! [V__X : $i] : ((s__attribute(V__X, s__Fodder) => s__hasPurpose(V__X, ( ? [V__H:$i] : ((s__instance(V__H, s__Harvesting) & s__result(V__H, V__X) & s__instance(V__X, s__OrganicObject) & s__instance(V__X, s__FoodForFn(s__DomesticAnimal)))))))) Mid-level-ontology.kif 22256-22265 If fodder is an attribute of X, then X has the purpose there exists Y such that Y is an instance of harvesting, X is a result of Y, X is an instance of organic object, and X is an instance of food for domestic animal