| appearance as argument number 1 |
|
| (documentation StreetAddressFn EnglishLanguage "(StreetAddressFn ?BUILDING ?ROAD ?CITY ?COUNTRY) returns the Agent, e.g. a family, an organization, a person, etc. that resides or conducts business at the corresponding postContactSite.") | Mid-level-ontology.kif 6410-6412 | |
| (domain StreetAddressFn 1 StationaryArtifact) | Mid-level-ontology.kif 6405-6405 | domain StreetAddressFn, 1 and StationaryArtifact |
| (domain StreetAddressFn 2 Roadway) | Mid-level-ontology.kif 6406-6406 | domain StreetAddressFn, 2 and Roadway |
| (domain StreetAddressFn 3 City) | Mid-level-ontology.kif 6407-6407 | domain StreetAddressFn, 3 and City |
| (domain StreetAddressFn 4 Nation) | Mid-level-ontology.kif 6408-6408 | domain StreetAddressFn, 4 and Nation |
| (instance StreetAddressFn QuaternaryFunction) | Mid-level-ontology.kif 6404-6404 | instance StreetAddressFn and QuaternaryFunction |
| (range StreetAddressFn Agent) | Mid-level-ontology.kif 6409-6409 | range StreetAddressFn and Agent |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage StreetAddressFn "%1, %2, %3 和 %4 的 street 地址") | domainEnglishFormat.kif 2379-2379 | |
| (format ChineseTraditionalLanguage StreetAddressFn "%1, %2, %3 和 %4 的 street 地址") | domainEnglishFormat.kif 2378-2378 | |
| (format EnglishLanguage StreetAddressFn "the street address of %1, %2, %3 and %4") | domainEnglishFormat.kif 2377-2377 | |
| (termFormat ChineseLanguage StreetAddressFn "街道地址") | domainEnglishFormat.kif 55569-55569 | |
| (termFormat ChineseTraditionalLanguage StreetAddressFn "街道地址") | domainEnglishFormat.kif 55568-55568 | |
| (termFormat EnglishLanguage StreetAddressFn "street address") | domainEnglishFormat.kif 55567-55567 |
| antecedent |
|
|
| (=> (equal (StreetAddressFn ?PLACE ?ROAD ?CITY ?COUNTRY) ?AGENT) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?PLACE ?BUILDING)))) |
Mid-level-ontology.kif 6419-6425 |
|
| (=> (equal (StreetAddressFn ?PLACE ?ROAD ?CITY ?COUNTRY) ?AGENT) (postContactSite ?PLACE ?AGENT)) |
Mid-level-ontology.kif 6414-6417 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners