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

Formal Language: 



KB Term:  Term intersection
English Word: 

  StreetAddressFn

Sigma KEE - StreetAddressFn
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 6712-6714
(domain StreetAddressFn 1 StationaryArtifact) Mid-level-ontology.kif 6707-6707 The number 1 argument of street address is an instance of stationary artifact
(domain StreetAddressFn 2 Roadway) Mid-level-ontology.kif 6708-6708 The number 2 argument of street address is an instance of roadway
(domain StreetAddressFn 3 City) Mid-level-ontology.kif 6709-6709 The number 3 argument of street address is an instance of city
(domain StreetAddressFn 4 Nation) Mid-level-ontology.kif 6710-6710 The number 4 argument of street address is an instance of nation
(instance StreetAddressFn QuaternaryFunction) Mid-level-ontology.kif 6706-6706 Street address is an instance of quaternary function
(range StreetAddressFn AutonomousAgent) Mid-level-ontology.kif 6711-6711 The range of street address is an instance of 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 55590-55590
(termFormat ChineseTraditionalLanguage StreetAddressFn "街道地址") domainEnglishFormat.kif 55589-55589
(termFormat EnglishLanguage StreetAddressFn "street address") domainEnglishFormat.kif 55588-55588

antecedent
-------------------------


(=>
    (equal
        (StreetAddressFn ?PLACE ?ROAD ?CITY ?COUNTRY) ?AGENT)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (part ?PLACE ?BUILDING))))
Mid-level-ontology.kif 6721-6727
(=>
    (equal
        (StreetAddressFn ?PLACE ?ROAD ?CITY ?COUNTRY) ?AGENT)
    (postContactSite ?PLACE ?AGENT))
Mid-level-ontology.kif 6716-6719


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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