postStreet |
appearance as argument number 1 |
(documentation postStreet EnglishLanguage "(postStreet ?PostalPlace ?Roadway) means that ?PostalPlace is Adjacent to ?Roadway.") | Mid-level-ontology.kif 24815-24817 | |
(domain postStreet 1 PostalPlace) | Mid-level-ontology.kif 24813-24813 | Le nombre 1 argument de postStreet est une instance de PostalPlace |
(domain postStreet 2 Roadway) | Mid-level-ontology.kif 24814-24814 | Le nombre 2 argument de postStreet est une instance de Roadway |
(instance postStreet AsymmetricRelation) | Mid-level-ontology.kif 24811-24811 | postStreet est une instance de relation asym�trique |
(instance postStreet BinaryPredicate) | Mid-level-ontology.kif 24812-24812 | postStreet est une instance de pr�dicat binaire |
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 24819-24821 |
|