postStreet |
appearance as argument number 1 |
(documentation postStreet EnglishLanguage "(postStreet ?PostalPlace ?Roadway) means that ?PostalPlace is Adjacent to ?Roadway.") | Mid-level-ontology.kif 24814-24816 | |
(domain postStreet 1 PostalPlace) | Mid-level-ontology.kif 24812-24812 | postStreet 的 1 数量 是 PostalPlace 的 instance |
(domain postStreet 2 Roadway) | Mid-level-ontology.kif 24813-24813 | postStreet 的 2 数量 是 巷道 的 instance |
(instance postStreet AsymmetricRelation) | Mid-level-ontology.kif 24810-24810 | postStreet 是 非对称关系 的 instance |
(instance postStreet BinaryPredicate) | Mid-level-ontology.kif 24811-24811 | postStreet 是 二元谓语 的 instance |
appearance as argument number 2 |
(format ChineseLanguage postStreet "%1 是在 %2 之上") | domainEnglishFormat.kif 4178-4178 | |
(format ChineseTraditionalLanguage postStreet "%1 是在 %2 之上") | domainEnglishFormat.kif 4177-4177 | |
(format EnglishLanguage postStreet "%1 is on %2") | domainEnglishFormat.kif 4176-4176 | |
(termFormat EnglishLanguage postStreet "post street") | domainEnglishFormat.kif 65910-65910 |
antecedent |
(=> (postStreet ?POSTPLACE ?ROADWAY) (orientation ?POSTPLACE ?ROADWAY Adjacent)) |
Mid-level-ontology.kif 24818-24820 |
|