| 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 21966-21969 | |
| (domain birthplace 1 Animal) | Mid-level-ontology.kif 21971-21971 | domain birthplace, 1 and Animal |
| (domain birthplace 2 Object) | Mid-level-ontology.kif 21972-21972 | domain birthplace, 2 and Object |
| (instance birthplace BinaryPredicate) | Mid-level-ontology.kif 21970-21970 | instance birthplace and BinaryPredicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage birthplace "%2 %n 是 %1 的 birthplace") | domainEnglishFormat.kif 312-312 | |
| (format ChineseTraditionalLanguage birthplace "%2 %n 是 %1 的 birthplace ") | domainEnglishFormat.kif 311-311 | |
| (format EnglishLanguage birthplace "%2 is %n a birthplace of %1") | domainEnglishFormat.kif 310-310 | |
| (termFormat ChineseLanguage birthplace "出生地") | domainEnglishFormat.kif 11125-11125 | |
| (termFormat ChineseTraditionalLanguage birthplace "出生地") | domainEnglishFormat.kif 11124-11124 | |
| (termFormat EnglishLanguage birthplace "birthplace") | domainEnglishFormat.kif 11123-11123 |
| antecedent |
|
|
| (=> (birthplace ?INDIV ?PLACE) (exists (?BIRTH) (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIV) (eventLocated ?BIRTH ?PLACE)))) |
Mid-level-ontology.kif 21974-21980 |
|
| consequent |
|
|
| (=> (instance ?P (DemonymFn ?N)) (or (exists (?R) (and (located ?R ?N) (inhabits ?P ?R))) (birthplace ?P ?N))) |
Mid-level-ontology.kif 28781-28788 |
|
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