Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Seafood
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Seafood Meat) | Food.kif 1934-1934 | Seafood is a subclass of meat |
| (documentation Seafood EnglishLanguage "Seafood refers to Meat from Animal that inhabit BodiesOfWater") | Food.kif 1935-1936 | Seafood is a subclass of meat |
| (externalImage Seafood "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 7f/ Mariscada.jpg/ 800px_Mariscada.jpg") | pictureList.kif 936-936 | Seafood is a subclass of meat |
| appearance as argument number 2 |
|
|
| (subclass FishMeat Seafood) | Food.kif 1952-1952 | Fish meat is a subclass of seafood |
| (subclass Shellfish Seafood) | Food.kif 1959-1959 | Shellfish is a subclass of seafood |
| (subclass MolluskMeat Seafood) | Food.kif 1995-1995 | Mollusk is a subclass of seafood |
| (termFormat EnglishLanguage Seafood "seafood") | domainEnglishFormat.kif 51658-51658 | Mollusk is a subclass of seafood |
| (termFormat ChineseTraditionalLanguage Seafood "海鮮") | domainEnglishFormat.kif 51659-51659 | Mollusk is a subclass of seafood |
| (termFormat ChineseLanguage Seafood "海鲜") | domainEnglishFormat.kif 51660-51660 | Mollusk is a subclass of seafood |
| antecedent |
|
|
| (=> (and (instance ?S ?C) (subclass ?C Seafood)) (exists (?X ?SEA ?ANIMAL) (and (meatOfAnimal ?C ?ANIMAL) (instance ?X ?ANIMAL) (instance ?SEA BodyOfWater) (inhabits ?X ?SEA)))) |
Food.kif 1941-1950 | If X is an instance of Y and Y is a subclass of seafood, then there exist Z, W, V such that Y is the meat of V, Z is an instance of V, W is an instance of body of water, and Z lives in W |
| (=> (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 |
|
