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


KB Term:  Term intersection
English Word: 

Sigma KEE - GeographicPartTypeFn
GeographicPartTypeFn

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


(documentation GeographicPartTypeFn EnglishLanguage "(GeographicPartTypeFn ?TYPE ?AREA) evaluates to the Class of all instances of ?TYPE that are located in the GeographicArea ?AREA.") Geography.kif 8565-8568
(domain GeographicPartTypeFn 2 GeographicArea) Geography.kif 8563-8563 The number 2 argument of GeographicPartTypeFn is an instance of geographic area
(domainSubclass GeographicPartTypeFn 1 GeographicArea) Geography.kif 8562-8562 The number 1 argument of GeographicPartTypeFn is a subclass of geographic area
(instance GeographicPartTypeFn BinaryFunction) Geography.kif 8561-8561 GeographicPartTypeFn is an instance of binary function
(rangeSubclass GeographicPartTypeFn GeographicArea) Geography.kif 8564-8564 The values returned by GeographicPartTypeFn are subclasses of geographic area

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


(format ChineseLanguage GeographicPartTypeFn "%1 所有的 instances 在 %2 ") domainEnglishFormat.kif 3516-3516
(format ChineseTraditionalLanguage GeographicPartTypeFn "%1 所有的 instances 在 %2 ") domainEnglishFormat.kif 3515-3515
(format EnglishLanguage GeographicPartTypeFn "all the instances of %1 in %2") domainEnglishFormat.kif 3514-3514
(termFormat EnglishLanguage GeographicPartTypeFn "geographic part type fn") domainEnglishFormat.kif 64925-64925

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


(=>
    (and
        (instance ?GEO
            (GeographicPartTypeFn ?TYPE ?AREA))
        (subclass ?TYPE GeopoliticalArea)
        (instance ?AREA GeopoliticalArea))
    (geopoliticalSubdivision ?GEO ?AREA))		 Geography.kif 8580-8585
(=>
    (and
        (instance ?GEO
            (GeographicPartTypeFn StateOrProvince ?AREA))
        (instance ?AREA Nation))
    (primaryGeopoliticalSubdivision ?GEO ?AREA))		 Geography.kif 8587-8591
(=>
    (equal ?CLASS
        (GeographicPartTypeFn ?TYPE ?AREA))
    (subclass ?CLASS ?TYPE))		 Geography.kif 8570-8572
(=>
    (instance ?GEO
        (GeographicPartTypeFn ?TYPE ?AREA))
    (part ?GEO ?AREA))		 Geography.kif 8576-8578

statement
-------------------------


(equal AmericanState
    (GeographicPartTypeFn StateOrProvince UnitedStates))		 Geography.kif 8625-8625 equal AmericanState and GeographicPartTypeFn state or province and UnitedStates
(equal CanadianProvinces
    (GeographicPartTypeFn StateOrProvince Canada))		 Geography.kif 1513-1514 equal CanadianProvinces and GeographicPartTypeFn state or province and Canada


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