Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - StreetAddressFn
StreetAddressFn

appearance as argument number 1
-------------------------


(instance StreetAddressFn QuaternaryFunction) Mid-level-ontology.kif 7794-7794 Street address is an instance of quaternary function
(domain StreetAddressFn 1 StationaryArtifact) Mid-level-ontology.kif 7795-7795 The number 1 argument of street address is an instance of stationary artifact
(domain StreetAddressFn 2 Roadway) Mid-level-ontology.kif 7796-7796 The number 2 argument of street address is an instance of roadway
(domain StreetAddressFn 3 City) Mid-level-ontology.kif 7797-7797 The number 3 argument of street address is an instance of city
(domain StreetAddressFn 4 Nation) Mid-level-ontology.kif 7798-7798 The number 4 argument of street address is an instance of nation
(range StreetAddressFn AutonomousAgent) Mid-level-ontology.kif 7799-7799 The range of street address is an instance of agent
(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 7800-7802 The range of street address is an instance of agent

appearance as argument number 2
-------------------------


(format EnglishLanguage StreetAddressFn "the street address of %1, %2, %3 and %4") domainEnglishFormat.kif 2381-2381
(format ChineseTraditionalLanguage StreetAddressFn "%1, %2, %3 和 %4 的 street 地址") domainEnglishFormat.kif 2382-2382
(format ChineseLanguage StreetAddressFn "%1, %2, %3 和 %4 的 street 地址") domainEnglishFormat.kif 2383-2383
(termFormat EnglishLanguage StreetAddressFn "street address") domainEnglishFormat.kif 55585-55585
(termFormat ChineseTraditionalLanguage StreetAddressFn "街道地址") domainEnglishFormat.kif 55586-55586
(termFormat ChineseLanguage StreetAddressFn "街道地址") domainEnglishFormat.kif 55587-55587

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


(=>
    (equal
        (StreetAddressFn ?PLACE ?ROAD ?CITY ?COUNTRY) ?AGENT)
    (postContactSite ?PLACE ?AGENT))		 Mid-level-ontology.kif 7804-7807 If equal the street address of X, Y, Z, W, and V, then V can be contacted at X
(=>
    (equal
        (StreetAddressFn ?PLACE ?ROAD ?CITY ?COUNTRY) ?AGENT)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (part ?PLACE ?BUILDING))))		 Mid-level-ontology.kif 7809-7815 If equal the street address of X, Y, Z, W, and V, then there exists U such that U is an instance of building and X is a part of U


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners