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 6706-6708
(domain StreetAddressFn 1 StationaryArtifact) Mid-level-ontology.kif 6701-6701 Le nombre 1 argument de StreetAddressFn est une instance de artefact stationnaire
(domain StreetAddressFn 2 Roadway) Mid-level-ontology.kif 6702-6702 Le nombre 2 argument de StreetAddressFn est une instance de Roadway
(domain StreetAddressFn 3 City) Mid-level-ontology.kif 6703-6703 Le nombre 3 argument de StreetAddressFn est une instance de ville
(domain StreetAddressFn 4 Nation) Mid-level-ontology.kif 6704-6704 Le nombre 4 argument de StreetAddressFn est une instance de nation
(instance StreetAddressFn QuaternaryFunction) Mid-level-ontology.kif 6700-6700 StreetAddressFn est une instance de function quaternaire
(range StreetAddressFn AutonomousAgent) Mid-level-ontology.kif 6705-6705 Le domaine de StreetAddressFn est une instance de AutonomousAgent

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 55592-55592
(termFormat ChineseTraditionalLanguage StreetAddressFn "街道地址") domainEnglishFormat.kif 55591-55591
(termFormat EnglishLanguage StreetAddressFn "street address") domainEnglishFormat.kif 55590-55590

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


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


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