TreeView 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 24135-24138
(domain birthplace 1 Animal)	Mid-level-ontology.kif 24140-24140	出生地的 1 数量是动物的 instance
(domain birthplace 2 Object)	Mid-level-ontology.kif 24141-24141	出生地的 2 数量是客体的 instance
(instance birthplace BinaryPredicate)	Mid-level-ontology.kif 24139-24139	出生地是二元谓语的 instance

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

antecedent

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

Mid-level-ontology.kif 24143-24149

如果客体是动物的 birthplace，
然后有存在过程这样那个过程是出生的 instance 和那个动物经历了那个过程和那个过程是 located 在那个客体

consequent

(=>
    (instance ?P
        (DemonymFn ?N))
    (or
        (exists (?R)
            (and
                (located ?R ?N)
                (inhabits ?P ?R)))
        (birthplace ?P ?N)))

Mid-level-ontology.kif 30552-30559

如果动物是 DemonymFn 地理区域的 instance，
然后有存在客体这样那个客体是 located 在那个地理区域和那个动物住在那个客体或那个地理区域是那个动物的 birthplace

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: