Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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
-------------------------


(subclass OrganicObject CorpuscularObject) Merge.kif 14517-14517 Organic object is a subclass of corpuscular object
(subclass OrganicObject OrganicThing) Merge.kif 14518-14518 Organic object is a subclass of organic thing
(partition OrganicObject Organism AnatomicalStructure) Merge.kif 14519-14519 Organic object is exhaustively partitioned into organism and anatomical structure
(documentation OrganicObject 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 14520-14523 Organic object is exhaustively partitioned into organism and anatomical structure
(externalImage 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
-------------------------


(subclass Organism OrganicObject) Merge.kif 14525-14525 Organism is a subclass of organic object
(subclass AnatomicalStructure OrganicObject) Merge.kif 15079-15079 Anatomical structure is a subclass of organic object
(subclass OrganismRemains OrganicObject) Merge.kif 18684-18684 Organism remains is a subclass of organic object
(subclass Miswak OrganicObject) ArabicCulture.kif 351-351 Miswak is a subclass of organic object
(relatedInternalConcept Timber OrganicObject) Economy.kif 5835-5835 Timber is internally related to organic object
(subclass Nucleotide OrganicObject) VirusProteinAndCellPart.kif 51-51 Nucleotide is a subclass of organic object
(subclass Biopolymer OrganicObject) VirusProteinAndCellPart.kif 85-85 Biopolymer is a subclass of organic object
(subclass Gene OrganicObject) VirusProteinAndCellPart.kif 625-625 Gene is a subclass of organic object
(disjoint ChemicalAgent OrganicObject) WMD.kif 442-442 Chemical agent is disjoint from organic object
(termFormat EnglishLanguage OrganicObject "organic object") english_format.kif 1133-1133 Chemical agent is disjoint from organic object

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


(domain developmentalForm 1 OrganicObject) Merge.kif 14493-14493 The number 1 argument of developmental form is an instance of organic object
(domainSubclass DeadFn 1 OrganicObject) Merge.kif 18698-18698 The number 1 argument of Dead fn is a subclass of organic object
(domainSubclass secretesSubstance 1 OrganicObject) Mid-level-ontology.kif 13727-13727 The number 1 argument of secretes substance is a subclass of organic object
(domainSubclass OrganicObjectFn 1 OrganicObject) Economy.kif 5585-5585 The number 1 argument of organic object fn is a subclass of organic object
(domainSubclass bioindicatorForHabitat 2 OrganicObject) Geography.kif 4063-4063 The number 2 argument of bioindicator for habitat is a subclass of organic object

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


(=>
    (and
        (instance ?REM OrganicObject)
        (instance ?DEATH Death)
        (instance ?ORG Organism)
        (experiencer ?DEATH ?ORG)
        (result ?DEATH ?REM))
    (instance ?REM 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
(=>
    (and
        (instance ?REM OrganismRemains)
        (instance ?DEATH Death)
        (experiencer ?DEATH ?ORG)
        (instance ?ORG ?ORGTYPE)
        (subclass ?ORGTYPE OrganicObject)
        (result ?DEATH ?REM))
    (instance ?REM
        (DeadFn ?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
(=>
    (and
        (instance ?ORG OrganicObject)
        (instance ?ATTR DevelopmentalAttribute)
        (holdsDuring ?TIME
            (property ?ORG ?ATTR)))
    (holdsDuring ?TIME
        (developmentalForm ?ORG ?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
-------------------------


(=>
    (and
        (instance ?DEATH Death)
        (instance ?ORG Organism)
        (experiencer ?DEATH ?ORG))
    (exists (?REM ?OBJ)
        (and
            (result ?DEATH ?REM)
            (instance ?REM OrganicObject)
            (holdsDuring
                (FutureFn
                    (WhenFn ?DEATH))
                (attribute ?REM Dead))
            (=>
                (holdsDuring
                    (ImmediateFutureFn
                        (WhenFn ?DEATH))
                    (part ?OBJ ?REM))
                (holdsDuring
                    (ImmediatePastFn
                        (WhenFn ?DEATH))
                    (part ?OBJ ?ORG))))))		 Merge.kif 10370-10385 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
(=>
    (and
        (attribute ?ORG ?ATT)
        (instance ?ATT BiologicalAttribute))
    (instance ?ORG OrganicObject))		 Merge.kif 18237-18241 If X is an attribute of Y and X is an instance of biological attribute, then Y is an instance of organic object
(=>
    (and
        (instance ?H Harvesting)
        (result ?H ?O))
    (exists (?ORG)
        (and
            (instance ?O
                (DeadFn ?ORG))
            (subclass ?ORG OrganicObject))))		 Mid-level-ontology.kif 19989-19997 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
(=>
    (attribute ?X Fodder)
    (hasPurpose ?X
        (exists (?H)
            (and
                (instance ?H Harvesting)
                (result ?H ?X)
                (instance ?X OrganicObject)
                (instance ?X
                    (FoodForFn DomesticAnimal))))))		 Mid-level-ontology.kif 22304-22313 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