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 14521-14521 Organic object is a subclass of corpuscular object
(subclass OrganicObject OrganicThing) Merge.kif 14522-14522 Organic object is a subclass of organic thing
(partition OrganicObject Organism AnatomicalStructure) Merge.kif 14523-14523 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 14524-14527 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 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 Organism OrganicObject) Merge.kif 14529-14529 Organism is a subclass of organic object
(subclass AnatomicalStructure OrganicObject) Merge.kif 15088-15088 Anatomical structure is a subclass of organic object
(subclass OrganismRemains OrganicObject) Mid-level-ontology.kif 28-28 Organism remains is a subclass of 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 647-647 Gene is a subclass of organic object
(disjoint ChemicalAgent OrganicObject) WMD.kif 447-447 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
-------------------------


(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 4067-4067 The number 2 argument of bioindicator for habitat is a subclass of organic object
(domain developmentalForm 1 OrganicObject) Merge.kif 14497-14497 The number 1 argument of developmental form is an instance of organic object
(domainSubclass DeadFn 1 OrganicObject) Merge.kif 18690-18690 The number 1 argument of Dead fn is a subclass of organic object
(domainSubclass secretesSubstance 1 OrganicObject) Mid-level-ontology.kif 13672-13672 The number 1 argument of secretes substance 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 58-65 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 122-130 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 237-242 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 10382-10397 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 18242-18246 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 19971-19979 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 22287-22296 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