Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
| appearance as argument number 1 |
|
|
| (subclass Fish ColdBloodedVertebrate) | Merge.kif 14878-14878 | Fish is a subclass of cold blooded vertebrate |
| (documentation Fish EnglishLanguage "A cold-blooded aquatic Vertebrate characterized by fins and breathing by gills. Included here are Fish having either a bony skeleton, such as a perch, or a cartilaginous skeleton, such as a shark. Also included are those Fish lacking a jaw, such as a lamprey or hagfish.") | Merge.kif 14879-14883 | Fish is a subclass of cold blooded vertebrate |
| (externalImage Fish "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 77/ Puffer_Fish_DSC01257.JPG/ 250px_Puffer_Fish_DSC01257.JPG") | pictureList-ImageNet.kif 260-260 | Fish is a subclass of cold blooded vertebrate |
| (externalImage Fish "http://upload.wikimedia.org/wikipedia/commons/d/de/ Pieni_2_0143.jpg") | pictureList.kif 93-93 | Fish is a subclass of cold blooded vertebrate |
| (externalImage Fish "http://articulatesoftware.com/SUMOpictures/hieroglyphs/ fish.png") | pictureList.kif 433-433 | Fish is a subclass of cold blooded vertebrate |
| appearance as argument number 2 |
|
|
| (subclass OrnamentalFish Fish) | Economy.kif 5274-5274 | Ornamental fish is a subclass of fish |
| (meatOfAnimal FishMeat Fish) | Food.kif 1954-1954 | Fish meat is the meat of fish |
| (subclass Cod Fish) | Food.kif 2558-2558 | Cod is a subclass of fish |
| (subclass Salmon Fish) | Food.kif 2559-2559 | Salmon is a subclass of fish |
| (subclass Skate Fish) | Food.kif 3438-3438 | Skate is a subclass of fish |
| (subclass Tuna Fish) | Food.kif 3556-3556 | Tuna is a subclass of fish |
| (termFormat EnglishLanguage Fish "fish") | english_format.kif 1189-1189 | Tuna is a subclass of fish |
| appearance as argument number 3 |
|
|
| (disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile) | Merge.kif 14859-14859 | Cold blooded vertebrate is disjointly decomposed into amphibian, fish, and reptile |
| antecedent |
|
|
| (=> (instance ?FISH Fish) (exists (?WATER) (and (inhabits ?FISH ?WATER) (instance ?WATER Water)))) |
Merge.kif 14885-14890 | If X is an instance of fish, then there exists Y such that X lives in Y and Y is an instance of water |
| consequent |
|
|
| (=> (instance ?FT FishTank) (hasPurpose ?FT (exists (?W ?F) (and (instance ?W Water) (instance ?F Fish) (contains ?FT ?W) (contains ?FT ?F))))) |
Mid-level-ontology.kif 32103-32111 | If X is an instance of fish tank, then X has the purpose there exist Y, Z such that Y is an instance of water, Z is an instance of fish, X contains Y, and X contains Z |
| (=> (instance ?S Seafood) (exists (?DA ?F) (and (instance ?DA (DeadFn ?F)) (part ?S ?DA) (subclass ?F Fish)))) |
Food.kif 3412-3418 | If X is an instance of seafood, then there exist Y, Z such that Y is an instance of a dead Z, X is a part of Y, and Z is a subclass of fish |
| (=> (and (instance ?FISHING Fishing) (patient ?FISHING ?TARGET) (instance ?TARGET Animal)) (instance ?TARGET Fish)) |
Geography.kif 4144-4149 | If X is an instance of fishing, Y is a patient of X, and Y is an instance of animal, then Y is an instance of fish |
|
