![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
LosAngelesCalifornia
|
|
|
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| (names "Los Angeles" LosAngelesCalifornia) | CountriesAndRegions.kif 3143-3143 | Los angeles california has name "Los Angeles" |
| (termFormat EnglishLanguage LosAngelesCalifornia "los angeles california") | domainEnglishFormat.kif 35035-35035 | Los angeles california has name "Los Angeles" |
| (termFormat ChineseTraditionalLanguage LosAngelesCalifornia "洛杉磯加利福尼亞州") | domainEnglishFormat.kif 35036-35036 | Los angeles california has name "Los Angeles" |
| (termFormat ChineseLanguage LosAngelesCalifornia "洛杉矶加利福尼亚州") | domainEnglishFormat.kif 35037-35037 | Los angeles california has name "Los Angeles" |
| antecedent |
|
|
| (=> (and (instance ?CITY AmericanCity) (part ?CITY California) (not (equal ?CITY LosAngelesCalifornia))) (greaterThan (CardinalityFn (ResidentFn LosAngelesCalifornia)) (CardinalityFn (ResidentFn ?CITY)))) |
CountriesAndRegions.kif 812-817 | If X is an instance of american city, X is a part of california, and equal X and los angeles california, then the number of instances in the resident of los angeles california is greater than the number of instances in the resident of X |
| consequent |
|
|
| (=> (and (instance ?CITY AmericanCity) (part ?CITY California) (not (equal ?CITY LosAngelesCalifornia))) (greaterThan (CardinalityFn (ResidentFn LosAngelesCalifornia)) (CardinalityFn (ResidentFn ?CITY)))) |
CountriesAndRegions.kif 812-817 | If X is an instance of american city, X is a part of california, and equal X and los angeles california, then the number of instances in the resident of los angeles california is greater than the number of instances in the resident of X |