|
|
   AirTransportationService
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Holder EnglishLanguage "A large class of Devices whose purpose is to hold something else, i.e. be the instrument of a Keeping.") | Mid-level-ontology.kif 4308-4309 | |
| (externalImage Holder "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 35/ No-carb_pork.jpg/ 250px-No-carb_pork.jpg") | pictureList.kif 1137-1137 | |
| (subclass Holder Device) | Mid-level-ontology.kif 4307-4307 |
| appearance as argument number 2 |
|
|
| (subclass Container Holder) | Mid-level-ontology.kif 4439-4439 | |
| (subclass Dish Holder) | Mid-level-ontology.kif 4426-4426 | |
| (subclass Saddle Holder) | Mid-level-ontology.kif 4315-4315 | |
| (subclass TrapOrCage Holder) | Mid-level-ontology.kif 4637-4637 | |
| (subclass Tray Holder) | Mid-level-ontology.kif 4422-4422 | |
| (termFormat ChineseLanguage Holder "持有人") | domainEnglishFormat.kif 28347-28347 | |
| (termFormat ChineseTraditionalLanguage Holder "持有人") | domainEnglishFormat.kif 28346-28346 | |
| (termFormat EnglishLanguage Holder "holder") | domainEnglishFormat.kif 28345-28345 |
| antecedent |
|
|
| (=> (instance ?DEVICE Holder) (capability Keeping instrument ?DEVICE)) |
Mid-level-ontology.kif 4311-4313 |
|
|
|
