Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Laboratory(laboratory)
|  | defense_laboratory, lab, laboratory, research_lab, research_laboratory, science_lab, science_laboratory |
| appearance as argument number 1 |
|
|
| (subclass Laboratory StationaryArtifact) | Mid-level-ontology.kif 17305-17305 | Laboratory is a subclass of stationary artifact |
| (documentation Laboratory EnglishLanguage "A Building, Room or suite of Rooms where scientific research, i.e. Experimenting, is conducted.") | Mid-level-ontology.kif 17306-17307 | Laboratory is a subclass of stationary artifact |
| (externalImage Laboratory "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5f/ Lab_bench.jpg") | pictureList.kif 1828-1828 | Laboratory is a subclass of stationary artifact |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?LAB Laboratory) (exists (?EXPERIMENT) (and (instance ?EXPERIMENT Experimenting) (eventLocated ?EXPERIMENT ?LAB)))) |
Mid-level-ontology.kif 17309-17314 | If X is an instance of laboratory, then there exists Y such that Y is an instance of experimenting and Y is located at X |
|