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


(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
(externalImage OrganicObject "http://upload.wikimedia.org/wikipedia/en/d/ de/ Humanpalm.JPG") pictureList.kif 907-907
(partition OrganicObject Organism AnatomicalStructure) Merge.kif 14523-14523 Organic object is exhaustively partitioned into organism and anatomical structure
(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

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


(disjoint ChemicalAgent OrganicObject) WMD.kif 447-447 Chemical agent is disjoint from organic object
(relatedInternalConcept Timber OrganicObject) Economy.kif 5835-5835 Timber is internally related to organic object
(subclass AnatomicalStructure OrganicObject) Merge.kif 15088-15088 Anatomical structure 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
(subclass Miswak OrganicObject) ArabicCulture.kif 351-351 Miswak is a subclass of organic object
(subclass Nucleotide OrganicObject) VirusProteinAndCellPart.kif 51-51 Nucleotide is a subclass of organic object
(subclass Organism OrganicObject) Merge.kif 14529-14529 Organism is a subclass of organic object
(subclass OrganismRemains OrganicObject) Mid-level-ontology.kif 28-28 Organism remains is a subclass of organic object
(termFormat EnglishLanguage OrganicObject "organic object") english_format.kif 1133-1133 Organism remains is a subclass of organic object

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


(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 18692-18692 The number 1 argument of Dead fn 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 4067-4067 The number 2 argument of bioindicator for habitat is a subclass of organic object
(domainSubclass secretesSubstance 1 OrganicObject) Mid-level-ontology.kif 13622-13622 The number 1 argument of secretes substance is a subclass of organic object

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


(=>
    (and
        (instance ?ORG OrganicObject)
        (instance ?ATTR DevelopmentalAttribute)
        (holdsDuring ?TIME
            (property ?ORG ?ATTR)))
    (holdsDuring ?TIME
        (developmentalForm ?ORG ?ATTR)))		 Mid-level-ontology.kif 234-239
(=>
    (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
(=>
    (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

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


(=>
    (and
        (attribute ?ORG ?ATT)
        (instance ?ATT BiologicalAttribute))
    (instance ?ORG OrganicObject))		 Merge.kif 18244-18248
(=>
    (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 10384-10399
(=>
    (and
        (instance ?H Harvesting)
        (result ?H ?O))
    (exists (?ORG)
        (and
            (instance ?O
                (DeadFn ?ORG))
            (subclass ?ORG OrganicObject))))		 Mid-level-ontology.kif 19809-19817
(=>
    (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 22074-22083