cargo |
appearance as argument number 1 |
(documentation cargo EnglishLanguage "(cargo ?EVENT ?OBJ) means that ?OBJ is transported as cargo in the Shipping event ?EVENT.") | Mid-level-ontology.kif 22917-22919 | |
(domain cargo 1 Shipping) | Mid-level-ontology.kif 22921-22921 | Il numero 1 argomenti di cargo è un istanza di Shipping |
(domain cargo 2 Object) | Mid-level-ontology.kif 22922-22922 | Il numero 2 argomenti di cargo è un istanza di Oggetto |
(instance cargo AsymmetricRelation) | Mid-level-ontology.kif 22916-22916 | cargo è un' istanza di RelazioneAsimmetrica |
(instance cargo BinaryPredicate) | Mid-level-ontology.kif 22915-22915 | cargo è un' istanza di PredicatoBinario |
(instance cargo CaseRole) | Mid-level-ontology.kif 22924-22924 | cargo è un' istanza di RuoloSemantico |
(subrelation cargo transported) | Mid-level-ontology.kif 22923-22923 | cargo è una sottorelazione di transported |
appearance as argument number 2 |
(format ChineseLanguage cargo "%2 %n 是 %1 所载运的 cargo") | chinese_format.kif 69-69 | |
(format EnglishLanguage cargo "%2 is %n carried as cargo during %1") | english_format.kif 69-69 | |
(format JapaneseLanguage cargo "%2 は、%1 の最中 cargo として運ばれ %n") | japanese_format.kif 1883-1883 | |
(termFormat ChineseLanguage cargo "货物") | chinese_format.kif 70-70 | |
(termFormat ChineseTraditionalLanguage cargo "貨物") | domainEnglishFormat.kif 13229-13229 | |
(termFormat EnglishLanguage cargo "cargo") | domainEnglishFormat.kif 13228-13228 |
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 2601-2610 |
|