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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Corkage

 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 16499-16501
(domain father 1 Organism) Merge.kif 16497-16497 Le nombre 1 argument de father est une instance de organisme
(domain father 2 Organism) Merge.kif 16498-16498 Le nombre 2 argument de father est une instance de organisme
(instance father BinaryPredicate) Merge.kif 16491-16491 father est une instance de pr�dicat binaire
(instance father PartialValuedRelation) Merge.kif 16490-16490 father est une instance de relation partielle
(instance father SingleValuedRelation) Merge.kif 16489-16489 father est une instance de relation simple

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 23361-23361
(termFormat EnglishLanguage father "father") domainEnglishFormat.kif 23360-23360
(termFormat tg father "ama") relations-tg.txt 229-229

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


(=>
    (father ?A ?B)
    (parent ?A ?B))		 Merge.kif 16493-16495
(=>
    (father ?CHILD ?FATHER)
    (attribute ?FATHER Male))		 Merge.kif 16503-16505

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 23113-23128 cousin humain and humain Woman Man grandmother humain and Woman grandfather humain and Man grandmother humain and Woman grandfather humain and Man organisme organisme organisme est la m�re de humain organisme est le p�re de humain organisme est la m�re de humain organisme est le p�re de humain
(<=>
    (stepfather ?P ?F)
    (exists (?M)
        (and
            (mother ?P ?M)
            (spouse ?F ?M)
            (not
                (father ?P ?F)))))		 Mid-level-ontology.kif 23204-23211 stepfather humain and Man humain humain est la m�re de humain spouse Man and humain Man est le p�re de humain
(<=>
    (stepmother ?P ?M)
    (exists (?F)
        (and
            (father ?P ?F)
            (spouse ?M ?F)
            (not
                (mother ?P ?M)))))		 Mid-level-ontology.kif 23221-23228 stepmother humain and Woman humain humain est le p�re de humain spouse Woman and humain Woman est la m�re de humain
(=>
    (and
        (instance ?REP SexualReproduction)
        (result ?REP ?ORGANISM))
    (exists (?MOTHER ?FATHER)
        (and
            (mother ?ORGANISM ?MOTHER)
            (father ?ORGANISM ?FATHER))))		 Merge.kif 10372-10379
(=>
    (and
        (parent ?CHILD ?PARENT)
        (attribute ?PARENT Male))
    (father ?CHILD ?PARENT))		 Merge.kif 16558-16562
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?PARENT Man))
    (father ?CHILD ?PARENT))		 Mid-level-ontology.kif 23073-23077
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?REP SexualReproduction)
        (agent ?REP ?PARENT)
        (result ?REP ?CHILD))
    (or
        (mother ?CHILD ?PARENT)
        (father ?CHILD ?PARENT)))		 Merge.kif 16457-16465
(=>
    (fathersBrothersDaughter ?P ?H)
    (exists (?F ?UNC)
        (and
            (father ?P ?F)
            (brother ?F ?UNC)
            (daughter ?UNC ?H))))		 ArabicCulture.kif 666-672
(=>
    (fathersBrothersSon ?P ?H)
    (exists (?F ?UNC)
        (and
            (father ?P ?F)
            (brother ?F ?UNC)
            (son ?UNC ?H))))		 ArabicCulture.kif 654-660
(=>
    (fathersBrothersWife ?P ?W)
    (exists (?F ?UNC)
        (and
            (father ?P ?F)
            (brother ?F ?UNC)
            (wife ?UNC ?W))))		 ArabicCulture.kif 606-612
(=>
    (fathersSistersDaughter ?P ?H)
    (exists (?F ?AUN)
        (and
            (father ?P ?F)
            (sister ?F ?AUN)
            (daughter ?AUN ?H))))		 ArabicCulture.kif 714-720
(=>
    (fathersSistersHusband ?P ?H)
    (exists (?F ?AUN)
        (and
            (father ?P ?F)
            (sister ?F ?AUN)
            (husband ?AUN ?H))))		 ArabicCulture.kif 630-636
(=>
    (fathersSistersSon ?P ?H)
    (exists (?F ?AUN)
        (and
            (father ?P ?F)
            (sister ?F ?AUN)
            (son ?AUN ?H))))		 ArabicCulture.kif 702-708
(=>
    (grandfather ?H ?P)
    (exists (?C)
        (and
            (father ?C ?P)
            (parent ?H ?C))))		 Mid-level-ontology.kif 23135-23140
(=>
    (holdsDuring ?T
        (attribute ?P BereavedFather))
    (exists (?BEFORE ?C)
        (and
            (earlier ?BEFORE ?T)
            (holdsDuring ?BEFORE
                (father ?P ?C))
            (holdsDuring ?T
                (attribute ?C Dead)))))		 ArabicCulture.kif 760-766
(=>
    (instance ?MULE Mule)
    (exists (?DONKEY ?HORSE)
        (and
            (father ?MULE ?DONKEY)
            (instance ?DONKEY Donkey)
            (mother ?MULE ?HORSE)
            (instance ?HORSE Horse))))		 Mid-level-ontology.kif 20191-20198
(=>
    (paternalAunt ?P ?AUN)
    (exists (?F)
        (and
            (father ?P ?F)
            (sister ?F ?AUN))))		 ArabicCulture.kif 584-589
(=>
    (paternalUncle ?P ?UNC)
    (exists (?F)
        (and
            (father ?P ?F)
            (brother ?F ?UNC))))		 ArabicCulture.kif 562-567


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

Show without tree


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