Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| cargo |
| appearance as argument number 1 |
|
| (instance cargo BinaryPredicate) | Mid-level-ontology.kif 25181-25181 | cargo is an instance of binary predicate |
| (instance cargo AsymmetricRelation) | Mid-level-ontology.kif 25182-25182 | cargo is an instance of asymmetric relation |
| (documentation cargo EnglishLanguage "(cargo ?EVENT ?OBJ) means that ?OBJ is transported as cargo in the Shipping event ?EVENT.") | Mid-level-ontology.kif 25183-25185 | cargo is an instance of asymmetric relation |
| (domain cargo 1 Shipping) | Mid-level-ontology.kif 25187-25187 | The number 1 argument of cargo is an instance of shipping |
| (domain cargo 2 Object) | Mid-level-ontology.kif 25188-25188 | The number 2 argument of cargo is an instance of object |
| (subrelation cargo transported) | Mid-level-ontology.kif 25189-25189 | cargo is a subrelation of transported |
| (instance cargo CaseRole) | Mid-level-ontology.kif 25190-25190 | cargo is an instance of case role |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage cargo "cargo") | domainEnglishFormat.kif 13236-13236 | |
| (termFormat ChineseTraditionalLanguage cargo "貨物") | domainEnglishFormat.kif 13237-13237 | |
| (termFormat ChineseLanguage cargo "货物") | domainEnglishFormat.kif 13238-13238 | |
| (format EnglishLanguage cargo "%2 is %n carried as cargo during %1") | english_format.kif 69-69 |
| consequent |
|
|
| (=> (instance ?C ShipContainer) (hasPurpose ?C (exists (?S ?O) (and (instance ?S Shipping) (cargo ?S ?C) (cargo ?S ?O) (holdsDuring (WhenFn ?S) (contains ?C ?O)))))) |
Transportation.kif 2831-2840 | If X is an instance of ship container, then X has the purpose there exist Y, Z such that Y is an instance of shipping, X is carried as cargo during Y, Z is carried as cargo during Y, and X contains Z holds during the time of existence of Y |
|