StreetAddressFn |
appearance as argument number 1 |
![]() |
(documentation StreetAddressFn EnglishLanguage "(StreetAddressFn ?BUILDING ?ROAD ?CITY ?COUNTRY) returns the AutonomousAgent, e.g. a family, an organization, a person, etc. that resides or conducts business at the corresponding postContactSite.") | Mid-level-ontology.kif 7649-7651 | |
(domain StreetAddressFn 1 StationaryArtifact) | Mid-level-ontology.kif 7644-7644 | |
(domain StreetAddressFn 2 Roadway) | Mid-level-ontology.kif 7645-7645 | |
(domain StreetAddressFn 3 City) | Mid-level-ontology.kif 7646-7646 | |
(domain StreetAddressFn 4 Nation) | Mid-level-ontology.kif 7647-7647 | |
(instance StreetAddressFn QuaternaryFunction) | Mid-level-ontology.kif 7643-7643 | |
(range StreetAddressFn AutonomousAgent) | Mid-level-ontology.kif 7648-7648 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage StreetAddressFn "%1, %2, %3 和 %4 的 street 地址") | domainEnglishFormat.kif 2383-2383 | |
(format ChineseTraditionalLanguage StreetAddressFn "%1, %2, %3 和 %4 的 street 地址") | domainEnglishFormat.kif 2382-2382 | |
(format EnglishLanguage StreetAddressFn "the street address of %1, %2, %3 and %4") | domainEnglishFormat.kif 2381-2381 | |
(termFormat ChineseLanguage StreetAddressFn "街道地址") | domainEnglishFormat.kif 55594-55594 | |
(termFormat ChineseTraditionalLanguage StreetAddressFn "街道地址") | domainEnglishFormat.kif 55593-55593 | |
(termFormat EnglishLanguage StreetAddressFn "street address") | domainEnglishFormat.kif 55592-55592 |
antecedent |
![]() |
(=> (equal (StreetAddressFn ?PLACE ?ROAD ?CITY ?COUNTRY) ?AGENT) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?PLACE ?BUILDING)))) |
Mid-level-ontology.kif 7658-7664 | |
(=> (equal (StreetAddressFn ?PLACE ?ROAD ?CITY ?COUNTRY) ?AGENT) (postContactSite ?PLACE ?AGENT)) |
Mid-level-ontology.kif 7653-7656 |
![]() |
![]() |