Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - father
father

appearance as argument number 1
-------------------------


(documentation father ChineseLanguage "这是父亲的概括关系。(father ?CHILD ?FATHER)的意思是 ?FATHER 是 ?CHILD 的亲生父亲。") chinese_format.kif 3693-3694
(documentation father EnglishLanguage "The general relationship of fatherhood. (father ?CHILD ?FATHER) means that ?FATHER is the biological father of ?CHILD.") Merge.kif 16603-16605
(domain father 1 Organism) Merge.kif 16601-16601 father の数値 1 引数は instance では
(domain father 2 Organism) Merge.kif 16602-16602 father の数値 2 引数は instance では
(instance father BinaryPredicate) Merge.kif 16595-16595 father2進述語instance では
(instance father PartialValuedRelation) Merge.kif 16594-16594 father部分的価値関係instance では
(instance father SingleValuedRelation) Merge.kif 16593-16593 father一価関係instance では

appearance as argument number 2
-------------------------


(format ChineseLanguage father "%2 %n 是 %1 father") chinese_format.kif 527-527
(format EnglishLanguage father "%2 is %n a father of %1") english_format.kif 532-532
(format FrenchLanguage father "%2 est %n le p�re de %1") french_format.kif 311-311
(format ItalianLanguage father "%2 è %n un padre di %1") relations-it.txt 109-109
(format JapaneseLanguage father "%2 は %1 の father では %n") japanese_format.kif 2079-2079
(format PortugueseLanguage father "%2 e' %n o pai de %1") portuguese_format.kif 263-263
(format cz father "%2 %p{je} %n{nen�} a father of %1") relations-cz.txt 317-317
(format de father "%2 ist der vater von %1 %n{nicht}") relations-de.txt 686-686
(format hi father "%2 %1 kaa janaka %n hai") relations-hindi.txt 149-149
(format ro father "%2 %n{nu} este father%t{tatãl} lui %1") relations-ro.kif 332-332
(format sv father "%2 är %n{inte} en pappa till %1") relations-sv.txt 341-341
(format tg father "%2 %n ay ang ama sa %1") relations-tg.txt 228-228
(termFormat ChineseLanguage father "父亲") chinese_format.kif 528-528
(termFormat ChineseTraditionalLanguage father "父親") domainEnglishFormat.kif 23364-23364
(termFormat EnglishLanguage father "father") domainEnglishFormat.kif 23363-23363
(termFormat de father "vater") terms-de.txt 208-208
(termFormat tg father "ama") relations-tg.txt 229-229

antecedent
-------------------------


(=>
    (father ?A ?B)
    (parent ?A ?B))
Merge.kif 16597-16599
(=>
    (father ?CHILD ?FATHER)
    (attribute ?FATHER Male))
Merge.kif 16607-16609

consequent
-------------------------


(<=>
    (cousin ?P1 ?P2)
    (and
        (exists (?G1 ?G2)
            (and
                (grandmother ?P1 ?G1)
                (grandfather ?P1 ?G2)
                (grandmother ?P2 ?G1)
                (grandfather ?P2 ?G2)))
        (not
            (exists (?M ?F)
                (and
                    (mother ?P1 ?M)
                    (father ?P1 ?F)
                    (mother ?P2 ?M)
                    (father ?P2 ?F))))))
Mid-level-ontology.kif 24702-24717 cousin 人[人間] and 人[人間] Woman Man grandmother 人[人間] and Woman grandfather 人[人間] and Man grandmother 人[人間] and Woman grandfather 人[人間] and Man 人[人間]mother では 人[人間]father では 人[人間]mother では 人[人間]father では
(<=>
    (stepfather ?P ?F)
    (exists (?M)
        (and
            (mother ?P ?M)
            (spouse ?F ?M)
            (not
                (father ?P ?F)))))
Mid-level-ontology.kif 24793-24800 stepfather 人[人間] and Man 人[人間] 人[人間] 人[人間]mother では spouse Man and 人[人間] Man 人[人間]father では
(<=>
    (stepmother ?P ?M)
    (exists (?F)
        (and
            (father ?P ?F)
            (spouse ?M ?F)
            (not
                (mother ?P ?M)))))
Mid-level-ontology.kif 24810-24817 stepmother 人[人間] and Woman 人[人間] 人[人間] 人[人間]father では spouse Woman and 人[人間] Woman 人[人間]mother では
(=>
    (and
        (instance ?REP SexualReproduction)
        (result ?REP ?ORGANISM))
    (exists (?MOTHER ?FATHER)
        (and
            (mother ?ORGANISM ?MOTHER)
            (father ?ORGANISM ?FATHER))))
Merge.kif 10476-10483
(=>
    (and
        (parent ?CHILD ?PARENT)
        (attribute ?PARENT Male))
    (father ?CHILD ?PARENT))
Merge.kif 16662-16666
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?PARENT Man))
    (father ?CHILD ?PARENT))
Mid-level-ontology.kif 24662-24666
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?REP SexualReproduction)
        (agent ?REP ?PARENT)
        (result ?REP ?CHILD))
    (or
        (mother ?CHILD ?PARENT)
        (father ?CHILD ?PARENT)))
Merge.kif 16561-16569
(=>
    (fathersBrothersDaughter ?P ?H)
    (exists (?F ?UNC)
        (and
            (father ?P ?F)
            (brother ?F ?UNC)
            (daughter ?UNC ?H))))
ArabicCulture.kif 686-692
(=>
    (fathersBrothersSon ?P ?H)
    (exists (?F ?UNC)
        (and
            (father ?P ?F)
            (brother ?F ?UNC)
            (son ?UNC ?H))))
ArabicCulture.kif 672-678
(=>
    (fathersBrothersWife ?P ?W)
    (exists (?F ?UNC)
        (and
            (father ?P ?F)
            (brother ?F ?UNC)
            (wife ?UNC ?W))))
ArabicCulture.kif 616-622
(=>
    (fathersSistersDaughter ?P ?H)
    (exists (?F ?AUN)
        (and
            (father ?P ?F)
            (sister ?F ?AUN)
            (daughter ?AUN ?H))))
ArabicCulture.kif 742-748
(=>
    (fathersSistersHusband ?P ?H)
    (exists (?F ?AUN)
        (and
            (father ?P ?F)
            (sister ?F ?AUN)
            (husband ?AUN ?H))))
ArabicCulture.kif 644-650
(=>
    (fathersSistersSon ?P ?H)
    (exists (?F ?AUN)
        (and
            (father ?P ?F)
            (sister ?F ?AUN)
            (son ?AUN ?H))))
ArabicCulture.kif 728-734
(=>
    (grandfather ?H ?P)
    (exists (?C)
        (and
            (father ?C ?P)
            (parent ?H ?C))))
Mid-level-ontology.kif 24724-24729
(=>
    (holdsDuring ?T
        (attribute ?P BereavedFather))
    (exists (?BEFORE ?C)
        (and
            (earlier ?BEFORE ?T)
            (holdsDuring ?BEFORE
                (father ?P ?C))
            (holdsDuring ?T
                (attribute ?C Dead)))))
ArabicCulture.kif 792-798
(=>
    (instance ?MULE Mule)
    (exists (?DONKEY ?HORSE)
        (and
            (father ?MULE ?DONKEY)
            (instance ?DONKEY Donkey)
            (mother ?MULE ?HORSE)
            (instance ?HORSE Horse))))
Mid-level-ontology.kif 21781-21788
(=>
    (paternalAunt ?P ?AUN)
    (exists (?F)
        (and
            (father ?P ?F)
            (sister ?F ?AUN))))
ArabicCulture.kif 590-595
(=>
    (paternalUncle ?P ?UNC)
    (exists (?F)
        (and
            (father ?P ?F)
            (brother ?F ?UNC))))
ArabicCulture.kif 564-569


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