Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Malt
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Cattle HoofedMammal) | Mid-level-ontology.kif 22441-22441 | Cattle is a subclass of hoofed mammal |
| (subclass Cattle DomesticAnimal) | Mid-level-ontology.kif 22442-22442 | Cattle is a subclass of domestic animal |
| (documentation Cattle EnglishLanguage "A domesticated HoofedMammal, referred in either sex, that is raised for milkand beef, and is also used for work.") | Mid-level-ontology.kif 22443-22444 | Cattle is a subclass of domestic animal |
| (externalImage Cattle "http://articulatesoftware.com/SUMOpictures/transportation/ Signs/ cattle.png") | pictureList.kif 328-328 | Cattle is a subclass of domestic animal |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Female))) |
Mid-level-ontology.kif 22449-22453 | X is an instance of bull if, only if X is an instance of cattle, and female is an attribute of X |
| (<=> (instance ?C Calf) (and (instance ?C Cattle) (attribute ?C NonFullyFormed))) |
Mid-level-ontology.kif 22458-22462 | X is an instance of calf if, only if X is an instance of cattle, and non fully formed is an attribute of X |
| (<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Male))) |
Mid-level-ontology.kif 22467-22471 | X is an instance of bull if, only if X is an instance of cattle, and male is an attribute of X |
| (=> (and (equal ?S (OrganicObjectFn ?F)) (subclass ?S Suet) (subclass ?F FatTissue)) (or (initialPart ?F Cattle) (initialPart ?F Sheep))) |
Food.kif 2935-2943 | If equal X and Object made from Y, X is a subclass of suet, and Y is a subclass of fat tissue, then every Y is initially part of a cattle or every Y is initially part of a sheep |
|
