Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CommercialShipping(commercial shipping) |
| appearance as argument number 1 |
|
| (subclass CommercialShipping Shipping) | Mid-level-ontology.kif 9021-9021 | Commercial shipping is a subclass of shipping |
| (subclass CommercialShipping CommercialService) | Mid-level-ontology.kif 9022-9022 | Commercial shipping is a subclass of commercial service |
| (documentation CommercialShipping EnglishLanguage "CommercialShipping is the subclass of Transportation events in which a commercial agent provides transportation of goods for remuneration.") | Mid-level-ontology.kif 9023-9025 | Commercial shipping is a subclass of commercial service |
| appearance as argument number 2 |
|
|
|