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 14567-14571
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 14566-14566 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 4926-4926 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
No TPTP formula. May not be expressible in strict first order. english_format.kif 1185-1185
No TPTP formula. May not be expressible in strict first order. french_format.kif 666-666
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 197-197
No TPTP formula. May not be expressible in strict first order. terms-it.txt 200-200
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2350-2350
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 618-618
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 202-202
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 234-234
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 687-687
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 201-201

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14547-14547 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 14573-14578

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2708-2713
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29492-29500
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