Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| birthplace |
| appearance as argument number 1 |
|
| (documentation birthplace EnglishLanguage "(birthplace ?INDIV ?PLACE) means that the Animal ?INDIV was born at the location ?PLACE. The location may be a geographic area or a building, such as a hospital.") | Mid-level-ontology.kif 26532-26535 | |
| (instance birthplace BinaryPredicate) | Mid-level-ontology.kif 26536-26536 | birthplace is an instance of binary predicate |
| (domain birthplace 1 Animal) | Mid-level-ontology.kif 26537-26537 | The number 1 argument of birthplace is an instance of animal |
| (domain birthplace 2 Object) | Mid-level-ontology.kif 26538-26538 | The number 2 argument of birthplace is an instance of object |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage birthplace "%2 is %n a birthplace of %1") | domainEnglishFormat.kif 310-310 | |
| (format ChineseTraditionalLanguage birthplace "%2 %n 是 %1 的 birthplace ") | domainEnglishFormat.kif 311-311 | |
| (format ChineseLanguage birthplace "%2 %n 是 %1 的 birthplace") | domainEnglishFormat.kif 312-312 | |
| (termFormat EnglishLanguage birthplace "birthplace") | domainEnglishFormat.kif 11189-11189 | |
| (termFormat ChineseTraditionalLanguage birthplace "出生地") | domainEnglishFormat.kif 11190-11190 | |
| (termFormat ChineseLanguage birthplace "出生地") | domainEnglishFormat.kif 11191-11191 |
| antecedent |
|
|
| (=> (birthplace ?INDIV ?PLACE) (exists (?BIRTH) (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIV) (eventLocated ?BIRTH ?PLACE)))) |
Mid-level-ontology.kif 26540-26546 | If X is a birthplace of Y, then there exists Z such that Z is an instance of birth, Y experiences Z, and Z is located at X |
| consequent |
|
|
| (=> (instance ?P (DemonymFn ?N)) (or (exists (?R) (and (located ?R ?N) (inhabits ?P ?R))) (birthplace ?P ?N))) |
Mid-level-ontology.kif 33283-33290 | If X is an instance of Y-ian, then there exists Z such that Z is located at Y and X lives in Z or Y is a birthplace of X |
| (=> (and (instance ?TEXT BirthCertificate) (instance ?B Birth) (instance ?A Human) (experiencer ?B ?A)) (containsFormula ?TEXT (exists (?DAY ?P ?N) (and (birthdate ?A ?DAY) (instance ?DAY Day) (birthplace ?A ?P) (instance ?P GeographicArea) (represents ?N ?A) (instance ?N Name))))) |
Biography.kif 256-270 | If X is an instance of birth certificate, Y is an instance of birth, Z is an instance of human, and Z experiences Y, then All of the following hold: (1) X contains the formula there exist W, V (2) U such that W is a birthdate of Z (3) W is an instance of day (4) V is a birthplace of Z (5) V is an instance of geographic area (6) U expresses Z (7) U is an instance of name |
|