Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - OrganicObject
OrganicObject

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


(subclass OrganicObject CorpuscularObject) Merge.kif 14659-14659
(subclass OrganicObject OrganicThing) Merge.kif 14660-14660
(partition OrganicObject Organism AnatomicalStructure) Merge.kif 14661-14661
(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 14662-14665
(externalImage OrganicObject "http://upload.wikimedia.org/wikipedia/en/d/ de/ Humanpalm.JPG") pictureList.kif 907-907

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


(subclass Organism OrganicObject) Merge.kif 14667-14667
(subclass AnatomicalStructure OrganicObject) Merge.kif 15222-15222
(subclass OrganismRemains OrganicObject) Merge.kif 18823-18823
(subclass Organelle OrganicObject) Mid-level-ontology.kif 11535-11535
(subclass Miswak OrganicObject) ArabicCulture.kif 351-351
(relatedInternalConcept Timber OrganicObject) Economy.kif 5848-5848
(subclass Nucleotide OrganicObject) VirusProteinAndCellPart.kif 51-51
(subclass Biopolymer OrganicObject) VirusProteinAndCellPart.kif 85-85
(subclass Gene OrganicObject) VirusProteinAndCellPart.kif 625-625
(disjoint ChemicalAgent OrganicObject) WMD.kif 442-442
(termFormat EnglishLanguage OrganicObject "organic object") english_format.kif 1137-1137

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


(domain developmentalForm 1 OrganicObject) Merge.kif 14635-14635
(domainSubclass DeadFn 1 OrganicObject) Merge.kif 18837-18837
(domainSubclass secretesSubstance 1 OrganicObject) Mid-level-ontology.kif 13776-13776
(domainSubclass OrganicObjectFn 1 OrganicObject) Economy.kif 5598-5598
(domainSubclass bioindicatorForHabitat 2 OrganicObject) Geography.kif 4048-4048

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

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 10450-10469
(=>
    (and
        (attribute ?ORG ?ATT)
        (instance ?ATT BiologicalAttribute))
    (instance ?ORG OrganicObject))		 Merge.kif 18376-18380
(=>
    (and
        (instance ?H Harvesting)
        (result ?H ?O))
    (exists (?ORG)
        (and
            (instance ?O
                (DeadFn ?ORG))
            (subclass ?ORG OrganicObject))))		 Mid-level-ontology.kif 19989-19997
(=>
    (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 22227-22236