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 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 Le nombre 1 argument de StreetAddressFn est une instance de artefact stationnaire
(domain StreetAddressFn 2 Roadway) Mid-level-ontology.kif 7645-7645 Le nombre 2 argument de StreetAddressFn est une instance de Roadway
(domain StreetAddressFn 3 City) Mid-level-ontology.kif 7646-7646 Le nombre 3 argument de StreetAddressFn est une instance de ville
(domain StreetAddressFn 4 Nation) Mid-level-ontology.kif 7647-7647 Le nombre 4 argument de StreetAddressFn est une instance de nation
(instance StreetAddressFn QuaternaryFunction) Mid-level-ontology.kif 7643-7643 StreetAddressFn est une instance de function quaternaire
(range StreetAddressFn AutonomousAgent) Mid-level-ontology.kif 7648-7648 Le domaine de StreetAddressFn est une instance de AutonomousAgent

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


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