birthplace - Sigma Knowledge base Browser

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 24197-24200
(domain birthplace 1 Animal)	Mid-level-ontology.kif 24202-24202	The number 1 argument of birthplace is an instance of animal
(domain birthplace 2 Object)	Mid-level-ontology.kif 24203-24203	The number 2 argument of birthplace is an instance of object
(instance birthplace BinaryPredicate)	Mid-level-ontology.kif 24201-24201	birthplace is an instance of binary predicate

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 11183-11183
(termFormat ChineseTraditionalLanguage birthplace "出生地")	domainEnglishFormat.kif 11182-11182
(termFormat EnglishLanguage birthplace "birthplace")	domainEnglishFormat.kif 11181-11181

antecedent

(=>
    (birthplace ?INDIV ?PLACE)
    (exists (?BIRTH)
        (and
            (instance ?BIRTH Birth)
            (experiencer ?BIRTH ?INDIV)
            (eventLocated ?BIRTH ?PLACE))))

Mid-level-ontology.kif 24205-24211

If an object is a birthplace of an animal,
then there exists a process such that the process is an instance of birth and the animal experiences the process and the process is located at the object

consequent

(=> (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 250-264	If a content bearing physical is an instance of birth certificate and a process is an instance of birth and an agent is an instance of human and the agent experiences the process, then the content bearing physical contains the formula there exist an entity, another entity and a third entity such that the entity is a birthdate of the agent and the entity is an instance of day and the other entity is a birthplace of the agent and the other entity is an instance of geographic area and the third entity expresses the agent and the third entity is an instance of name
(=> (instance ?P (DemonymFn ?N)) (or (exists (?R) (and (located ?R ?N) (inhabits ?P ?R))) (birthplace ?P ?N)))	Mid-level-ontology.kif 30553-30560	If an animal is an instance of a geographic area-ian, then there exists an object such that the object is located at the geographic area and the animal lives in the object or the geographic area is a birthplace of the animal

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

KB Term:			Term intersection

English Word: