Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - StreetAddressFn
StreetAddressFn

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