| 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 6254-6257 | |
| (domain GeographicPartTypeFn 2 GeographicArea) | Geography.kif 6252-6252 | domain GeographicPartTypeFn, 2 and GeographicArea |
| (domainSubclass GeographicPartTypeFn 1 GeographicArea) | Geography.kif 6251-6251 | domainSubclass GeographicPartTypeFn, 1 and GeographicArea |
| (instance GeographicPartTypeFn BinaryFunction) | Geography.kif 6250-6250 | instance GeographicPartTypeFn and BinaryFunction |
| (rangeSubclass GeographicPartTypeFn GeographicArea) | Geography.kif 6253-6253 | rangeSubclass GeographicPartTypeFn and GeographicArea |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage GeographicPartTypeFn "%1 所有的 instances 在 %2 ") | domainEnglishFormat.kif 3519-3519 | |
| (format ChineseTraditionalLanguage GeographicPartTypeFn "%1 所有的 instances 在 %2 ") | domainEnglishFormat.kif 3518-3518 | |
| (format EnglishLanguage GeographicPartTypeFn "all the instances of %1 in %2") | domainEnglishFormat.kif 3517-3517 |
| antecedent |
|
|
| (=> (and (instance ?GEO (GeographicPartTypeFn ?TYPE ?AREA)) (subclass ?TYPE GeopoliticalArea) (instance ?AREA GeopoliticalArea)) (geopoliticalSubdivision ?GEO ?AREA)) |
Geography.kif 6269-6274 | |
| (=> (and (instance ?GEO (GeographicPartTypeFn StateOrProvince ?AREA)) (instance ?AREA Nation)) (primaryGeopoliticalSubdivision ?GEO ?AREA)) |
Geography.kif 6276-6280 | |
| (=> (equal ?CLASS (GeographicPartTypeFn ?TYPE ?AREA)) (subclass ?CLASS ?TYPE)) |
Geography.kif 6259-6261 | |
| (=> (instance ?GEO (GeographicPartTypeFn ?TYPE ?AREA)) (part ?GEO ?AREA)) |
Geography.kif 6265-6267 |
| statement |
|
|
| (equal AmericanState (GeographicPartTypeFn StateOrProvince UnitedStates)) |
Geography.kif 6314-6314 | equal AmericanState and GeographicPartTypeFn StateOrProvince and UnitedStates |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners