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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 14509-14509 Organism is disjoint from artifact
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3372-3372 Organism is disjoint from artifact
No TPTP formula. May not be expressible in strict first order. Merge.kif 14511-14512 Organism is disjoint from artifact
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6746-6746 Organism is disjoint from artifact
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7482-7482 Organism is disjoint from artifact
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7483-7483 Organism is disjoint from artifact
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7484-7484 Organism is disjoint from artifact
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7486-7486 Organism is disjoint from artifact
No TPTP formula. May not be expressible in strict first order. Merge.kif 14510-14510 Organism is exhaustively partitioned into animal, plant, fungus, and microorganism
No TPTP formula. May not be expressible in strict first order. Merge.kif 14508-14508 Organism is a subclass of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 14507-14507 Organism is a subclass of organic object

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32321-32321 Inhabitant is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 14501-14501 Organic object is exhaustively partitioned into organism and anatomical structure
No TPTP formula. May not be expressible in strict first order. Merge.kif 14599-14599 Animal is a subclass of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 14751-14751 Carnivore is a subclass of organism
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21680-21680 Fungivore is a subclass of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 14578-14578 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. Mid-level-ontology.kif 21649-21649 Herbivore is a subclass of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 14604-14604 Microorganism is a subclass of organism
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21664-21664 Omnivore is a subclass of organism
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6825-6825 Parasite is a subclass of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 14552-14552 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 Toxic organism is a subclass of organism
No TPTP formula. May not be expressible in strict first order. english_format.kif 1135-1135 Toxic organism is a subclass of organism
No TPTP formula. May not be expressible in strict first order. french_format.kif 641-641 Toxic organism is a subclass of organism
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 172-172 Toxic organism is a subclass of organism
No TPTP formula. May not be expressible in strict first order. terms-it.txt 175-175 Toxic organism is a subclass of organism
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2325-2325 Toxic organism is a subclass of organism
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 593-593 Toxic organism is a subclass of organism
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 209-209 Toxic organism is a subclass of organism
No TPTP formula. May not be expressible in strict first order. terms-de.txt 468-468 Toxic organism is a subclass of organism
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 662-662 Toxic organism is a subclass of organism
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 176-176 Toxic organism is a subclass of organism

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33674-33674 The number 1 argument of population of organisms is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16525-16525 The number 1 argument of ancestor is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16526-16526 The number 2 argument of ancestor is an instance of organism
No TPTP formula. May not be expressible in strict first order. Medicine.kif 495-495 The number 1 argument of core body temp is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16613-16613 The number 1 argument of daughter is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16614-16614 The number 2 argument of daughter is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16507-16507 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 16508-16508 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 16601-16601 The number 1 argument of father is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16602-16602 The number 2 argument of father is an instance of organism
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 682-682 The number 1 argument of fathers brothers daughter is an instance of organism
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 683-683 The number 2 argument of fathers brothers daughter is an instance of organism
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 668-668 The number 1 argument of fathers brothers son is an instance of organism
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 669-669 The number 2 argument of fathers brothers son is an instance of organism
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 612-612 The number 1 argument of fathers brothers wife is an instance of organism
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 613-613 The number 2 argument of fathers brothers wife is an instance of organism
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 738-738 The number 1 argument of fathers sisters daughter is an instance of organism
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 739-739 The number 2 argument of fathers sisters daughter is an instance of organism
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 640-640 The number 1 argument of fathers sisters husband is an instance of organism
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 641-641 The number 2 argument of fathers sisters husband is an instance of organism
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 724-724 The number 1 argument of fathers sisters son is an instance of organism
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 725-725 The number 2 argument of fathers sisters son is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 14523-14523 The number 1 argument of inhabits is an instance of organism
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 599-599 The number 1 argument of maternal aunt is an instance of organism
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 600-600 The number 2 argument of maternal aunt is an instance 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 16499-16504
No TPTP formula. May not be expressible in strict first order. Merge.kif 18304-18309
No TPTP formula. May not be expressible in strict first order. Merge.kif 10362-10377
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 85-94
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 74-83
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1634-1653
No TPTP formula. May not be expressible in strict first order. Merge.kif 10587-10592
No TPTP formula. May not be expressible in strict first order. Food.kif 2555-2569
No TPTP formula. May not be expressible in strict first order. Merge.kif 18271-18275
No TPTP formula. May not be expressible in strict first order. Economy.kif 5551-5563
No TPTP formula. May not be expressible in strict first order. Geography.kif 6728-6737
No TPTP formula. May not be expressible in strict first order. Geography.kif 6715-6726
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 58-65
No TPTP formula. May not be expressible in strict first order. Merge.kif 15153-15158
No TPTP formula. May not be expressible in strict first order. Merge.kif 15164-15169
No TPTP formula. May not be expressible in strict first order. Merge.kif 14969-14974
No TPTP formula. May not be expressible in strict first order. Merge.kif 14980-14985
No TPTP formula. May not be expressible in strict first order. Merge.kif 16554-16559
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25935-25937
No TPTP formula. May not be expressible in strict first order. Merge.kif 10294-10296
No TPTP formula. May not be expressible in strict first order. Merge.kif 12473-12475
No TPTP formula. May not be expressible in strict first order. Merge.kif 12477-12479
No TPTP formula. May not be expressible in strict first order. Merge.kif 10289-10292
No TPTP formula. May not be expressible in strict first order. Merge.kif 18283-18288
No TPTP formula. May not be expressible in strict first order. Merge.kif 18345-18350

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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. Economy.kif 5599-5606
No TPTP formula. May not be expressible in strict first order. Merge.kif 10392-10398
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 14625-14629
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12885-12889
No TPTP formula. May not be expressible in strict first order. Merge.kif 14584-14588
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6784-6796
No TPTP formula. May not be expressible in strict first order. Merge.kif 12446-12453
No TPTP formula. May not be expressible in strict first order. Merge.kif 10283-10287
No TPTP formula. May not be expressible in strict first order. Merge.kif 12394-12403
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 45-56
No TPTP formula. May not be expressible in strict first order. Merge.kif 14637-14641
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 2006-2020
No TPTP formula. May not be expressible in strict first order. Food.kif 51-53
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25929-25933
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21401-21409
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 2027-2041
No TPTP formula. May not be expressible in strict first order. WMD.kif 890-900
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 2049-2064
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 2073-2089
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 15074-15080
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 18457-18463

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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



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