Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Organism

Sigma KEE - Organism
Organism(organism)
more pictures...
Bittacidae, Panorpidae, Pyrrophyta, acephalous, achondritic, acid-loving, acidophilic, acidophilous, aciduric, aerobiosis, alkaline-loving, allopatric, amorphous, amphibiotic, amphidiploid, aneuploid, animate_thing, apivorous, arboreal, arboreous, armed, artificial, atavist, awnless, barbed, barbellate, bearded, being, benthos, biological_group, biology, biont, biota, biotic, biotype, biotypic, biparous, bloodsucking, brachiate, briary, briery, bristled, bristly, burred, burry, canescent, carnivorous, carrier, chondritic, class...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14089-14089 Organism is disjoint from artifact
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3372-3372
No TPTP formula. May not be expressible in strict first order. Merge.kif 14091-14092
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6748-6748
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7484-7484
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7485-7485
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7486-7486
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7488-7488
No TPTP formula. May not be expressible in strict first order. Merge.kif 14090-14090 Organism is exhaustively partitioned into animal, plant, fungus, and microorganism
No TPTP formula. May not be expressible in strict first order. Merge.kif 14088-14088 Organism is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 14087-14087 Organism is a subclass of organic object

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14081-14081 Organic object is exhaustively partitioned into organism and anatomical structure
No TPTP formula. May not be expressible in strict first order. Merge.kif 14179-14179 Animal is a subclass of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 14158-14158 Fungus is a subclass of organism
No TPTP formula. May not be expressible in strict first order. WMD.kif 234-234 Genetically engineered organism is a subclass of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 14184-14184 Microorganism is a subclass of organism
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5570-5570 Parasite is a subclass of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 14132-14132 Plant is a subclass of organism
No TPTP formula. May not be expressible in strict first order. WMD.kif 187-187 Toxic organism is a subclass of organism
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 964-964
No TPTP formula. May not be expressible in strict first order. english_format.kif 1135-1135

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16075-16075 The number 1 argument of ancestor is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16076-16076 The number 2 argument of ancestor is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16163-16163 The number 1 argument of daughter is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16164-16164 The number 2 argument of daughter is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16057-16057 The number 1 argument of family relation is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16058-16058 The number 2 argument of family relation is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16151-16151 The number 1 argument of father is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16152-16152 The number 2 argument of father is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 14103-14103 The number 1 argument of inhabits is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16134-16134 The number 1 argument of mother is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16135-16135 The number 2 argument of mother is an instance of organism
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5951-5951 The number 1 argument of parasite is an instance of organism
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5952-5952 The number 2 argument of parasite is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16090-16090 The number 1 argument of parent is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16091-16091 The number 2 argument of parent is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16036-16036 The number 1 argument of relative is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16037-16037 The number 2 argument of relative is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16190-16190 The number 1 argument of sibling is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16191-16191 The number 2 argument of sibling is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16175-16175 The number 1 argument of son is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16176-16176 The number 2 argument of son is an instance of organism
No TPTP formula. May not be expressible in strict first order. WMD.kif 87-87 The number 1 argument of AgentOfOrganismFn is a subclass of organism
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 108-108 The number 1 argument of DeadFn is a subclass of organism
No TPTP formula. May not be expressible in strict first order. Food.kif 1080-1080 The number 1 argument of FarmOfProductFn is a subclass of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 14588-14588 The number 1 argument of FoodForFn is a subclass of organism

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16049-16054
No TPTP formula. May not be expressible in strict first order. Merge.kif 17851-17856
No TPTP formula. May not be expressible in strict first order. Merge.kif 10130-10145
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 83-92
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 72-81
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1373-1391
No TPTP formula. May not be expressible in strict first order. Merge.kif 10354-10359
No TPTP formula. May not be expressible in strict first order. Food.kif 524-538
No TPTP formula. May not be expressible in strict first order. Merge.kif 17823-17827
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 122-130
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 56-63
No TPTP formula. May not be expressible in strict first order. Merge.kif 14730-14735
No TPTP formula. May not be expressible in strict first order. Merge.kif 14741-14746
No TPTP formula. May not be expressible in strict first order. Merge.kif 14546-14551
No TPTP formula. May not be expressible in strict first order. Merge.kif 14557-14562
No TPTP formula. May not be expressible in strict first order. Merge.kif 16104-16109
No TPTP formula. May not be expressible in strict first order. Merge.kif 17835-17840
No TPTP formula. May not be expressible in strict first order. Merge.kif 17892-17897
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 94-97
No TPTP formula. May not be expressible in strict first order. Merge.kif 14094-14099
No TPTP formula. May not be expressible in strict first order. Merge.kif 16121-16124

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 823-840
No TPTP formula. May not be expressible in strict first order. Merge.kif 10159-10165
No TPTP formula. May not be expressible in strict first order. WMD.kif 64-68
No TPTP formula. May not be expressible in strict first order. Merge.kif 14205-14209
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11035-11039
No TPTP formula. May not be expressible in strict first order. Merge.kif 14164-14168
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5529-5541
No TPTP formula. May not be expressible in strict first order. Merge.kif 12066-12073
No TPTP formula. May not be expressible in strict first order. Merge.kif 10060-10064
No TPTP formula. May not be expressible in strict first order. Merge.kif 12014-12023
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 43-54
No TPTP formula. May not be expressible in strict first order. Merge.kif 14217-14221
No TPTP formula. May not be expressible in strict first order. Food.kif 34-36
No TPTP formula. May not be expressible in strict first order. WMD.kif 464-473
No TPTP formula. May not be expressible in strict first order. Merge.kif 14651-14657
No TPTP formula. May not be expressible in strict first order. WMD.kif 70-78
No TPTP formula. May not be expressible in strict first order. Merge.kif 18003-18009
No TPTP formula. May not be expressible in strict first order. Merge.kif 12625-12630
No TPTP formula. May not be expressible in strict first order. Merge.kif 14806-14813
No TPTP formula. May not be expressible in strict first order. Merge.kif 10345-10352
No TPTP formula. May not be expressible in strict first order. Merge.kif 10989-10994
No TPTP formula. May not be expressible in strict first order. Merge.kif 14685-14691
No TPTP formula. May not be expressible in strict first order. Merge.kif 10368-10375
No TPTP formula. May not be expressible in strict first order. Merge.kif 10053-10058

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners