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 | The number 1 argument of post street is an instance of postal place |
(domain postStreet 2 Roadway) | Mid-level-ontology.kif 24813-24813 | The number 2 argument of post street is an instance of roadway |
(instance postStreet AsymmetricRelation) | Mid-level-ontology.kif 24810-24810 | post street is an instance of asymmetric relation |
(instance postStreet BinaryPredicate) | Mid-level-ontology.kif 24811-24811 | post street is an instance of binary predicate |
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 |
|