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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Fish
Fish(fish)
A._testudineus, Abramis, Abramis_brama, Abudefduf, Abudefduf_saxatilis, Acanthocybium, Acanthocybium_solandri, Acanthopterygii, Acanthuridae, Acanthurus, Acanthurus_chirurgus, Achoerodus, Achoerodus_gouldii, Acipenser, Acipenser_huso, Acipenser_transmontanus, Acipenseridae, Aetobatus, Aetobatus_narinari, Agnatha, Agonidae, Agonus, Agonus_cataphractus, Albula, Albula_vulpes, Albulidae, Alectis, Alectis_ciliaris, Alepisaurus, Alopiidae, Alopius, Alopius_vulpinus, Alosa, Alosa_alosa, Alosa_chrysocloris, Alosa_pseudoharengus, Alosa_sapidissima, Ambloplites, Ambloplites_rupestris, Ameiuridae, Ameiurus, Ameiurus_Melas, American_flagfish, American_plaice, American_smooth_dogfish, Amia, Amia_calva, Amiidae, Ammodytes, Ammodytidae...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3417-3418
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. pictureList.kif 433-433
No TPTP formula. May not be expressible in strict first order. pictureList.kif 93-93
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 260-260
No TPTP formula. May not be expressible in strict first order. Merge.kif 14636-14636 Fish is a subclass of cold blooded vertebrate

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


No TPTP formula. May not be expressible in strict first order. Food.kif 1941-1941 Fish meat is the meat of fish
No TPTP formula. May not be expressible in strict first order. Food.kif 2535-2535 Cod is a subclass of fish
No TPTP formula. May not be expressible in strict first order. Economy.kif 5141-5141 Ornamental fish is a subclass of fish
No TPTP formula. May not be expressible in strict first order. Food.kif 2536-2536 Salmon is a subclass of fish
No TPTP formula. May not be expressible in strict first order. Food.kif 3403-3403 Skate is a subclass of fish
No TPTP formula. May not be expressible in strict first order. Food.kif 3518-3518 Tuna is a subclass of fish
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 989-989 Tuna is a subclass of fish
No TPTP formula. May not be expressible in strict first order. english_format.kif 1185-1185 Tuna is a subclass of fish
No TPTP formula. May not be expressible in strict first order. french_format.kif 666-666 Tuna is a subclass of fish
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 197-197 Tuna is a subclass of fish
No TPTP formula. May not be expressible in strict first order. terms-it.txt 200-200 Tuna is a subclass of fish
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2350-2350 Tuna is a subclass of fish
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 618-618 Tuna is a subclass of fish
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 202-202 Tuna is a subclass of fish
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 234-234 Tuna is a subclass of fish
No TPTP formula. May not be expressible in strict first order. terms-de.txt 493-493 Tuna is a subclass of fish
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 687-687 Tuna is a subclass of fish
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 201-201 Tuna is a subclass of fish

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14617-14617 Cold blooded vertebrate is disjointly decomposed into amphibian, fish, and reptile

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14643-14648

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2696-2701
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30436-30444
No TPTP formula. May not be expressible in strict first order. Food.kif 3377-3383


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