Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   AnimacyAttribute
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Glass Mixture) | Mid-level-ontology.kif 10277-10277 | Glass is a subclass of mixture |
| (documentation Glass EnglishLanguage "A transparent or translucent Mixture of silicates.") | Mid-level-ontology.kif 10278-10278 | Glass is a subclass of mixture |
| (roomTempState Glass Liquid) | Mid-level-ontology.kif 34058-34058 | room temperature state glass and liquid |
| (externalImage Glass "http://upload.wikimedia.org/wikipedia/commons/a/a4/ Glass_Ball.jpg") | pictureList.kif 1480-1480 | room temperature state glass and liquid |
| (externalImage Glass "http://upload.wikimedia.org/wikipedia/commons/8/8c/ ObsidianOregon.jpg") | pictureList.kif 1781-1781 | room temperature state glass and liquid |
| (externalImage Glass "http://upload.wikimedia.org/wikipedia/commons/9/9d/ Glass_Store.JPG") | pictureList.kif 2193-2193 | room temperature state glass and liquid |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?LW LaminatedWindshield) (exists (?G1 ?G2 ?P) (and (instance ?G1 Glass) (instance ?G2 Glass) (instance ?P Plastic) (part ?G1 ?LW) (part ?G2 ?LW) (part ?P ?LW) (between ?G1 ?P ?G2)))) |
Cars.kif 3126-3136 | If X is an instance of windshield, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of glass (3) Z is an instance of glass (4) W is an instance of plastic (5) Y is a part of X (6) Z is a part of X (7) W is a part of X (8) W is between Y (9) Z |
| statement |
|
|
| (equal 5.5 (MohsScaleFn Glass)) |
Mid-level-ontology.kif 10615-10615 | equal 5.5 and The Mohs Scale of glass is |
|
