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 15652-15654
(domain father 1 Organism) Merge.kif 15650-15650 domain father, 1 and Organism
(domain father 2 Organism) Merge.kif 15651-15651 domain father, 2 and Organism
(instance father BinaryPredicate) Merge.kif 15644-15644 instance father and BinaryPredicate
(instance father PartialValuedRelation) Merge.kif 15643-15643 instance father and PartialValuedRelation
(instance father SingleValuedRelation) Merge.kif 15642-15642 instance father and SingleValuedRelation

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 535-535
(termFormat ChineseLanguage father "父亲") chinese_format.kif 528-528
(termFormat ChineseTraditionalLanguage father "父親") domainEnglishFormat.kif 23354-23354
(termFormat EnglishLanguage father "father") domainEnglishFormat.kif 23353-23353

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


(=>
    (father ?A ?B)
    (parent ?A ?B))
Merge.kif 15646-15648
(=>
    (father ?CHILD ?FATHER)
    (attribute ?FATHER Male))
Merge.kif 15656-15658

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 21256-21271 cousin Human and Human Woman Man grandmother Human and Woman grandfather Human and Man grandmother Human and Woman grandfather Human and Man Organism Organism mother Human and Organism father Human and Organism mother Human and Organism father Human and Organism
(<=>
    (stepfather ?P ?F)
    (exists (?M)
        (and
            (mother ?P ?M)
            (spouse ?F ?M)
            (not
                (father ?P ?F)))))
Mid-level-ontology.kif 21347-21354 stepfather Human and Man Human mother Human and Human spouse Man and Human father Human and Man
(<=>
    (stepmother ?P ?M)
    (exists (?F)
        (and
            (father ?P ?F)
            (spouse ?M ?F)
            (not
                (mother ?P ?M)))))
Mid-level-ontology.kif 21364-21371 stepmother Human and Woman Human father Human and Human spouse Woman and Human mother Human and Woman
(=>
    (and
        (instance ?REP SexualReproduction)
        (result ?REP ?ORGANISM))
    (exists (?MOTHER ?FATHER)
        (and
            (mother ?ORGANISM ?MOTHER)
            (father ?ORGANISM ?FATHER))))
Merge.kif 9904-9911
(=>
    (and
        (parent ?CHILD ?PARENT)
        (attribute ?PARENT Male))
    (father ?CHILD ?PARENT))
Merge.kif 15711-15715
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?PARENT Man))
    (father ?CHILD ?PARENT))
Mid-level-ontology.kif 21216-21220
(=>
    (and
        (parent ?CHILD ?PARENT)
        (instance ?REP SexualReproduction)
        (agent ?REP ?PARENT)
        (result ?REP ?CHILD))
    (or
        (mother ?CHILD ?PARENT)
        (father ?CHILD ?PARENT)))
Merge.kif 15610-15618
(=>
    (fathersBrothersDaughter ?P ?H)
    (exists (?F ?UNC)
        (and
            (father ?P ?F)
            (brother ?F ?UNC)
            (daughter ?UNC ?H))))
ArabicCulture.kif 653-659
(=>
    (fathersBrothersSon ?P ?H)
    (exists (?F ?UNC)
        (and
            (father ?P ?F)
            (brother ?F ?UNC)
            (son ?UNC ?H))))
ArabicCulture.kif 641-647
(=>
    (fathersBrothersWife ?P ?W)
    (exists (?F ?UNC)
        (and
            (father ?P ?F)
            (brother ?F ?UNC)
            (wife ?UNC ?W))))
ArabicCulture.kif 593-599
(=>
    (fathersSistersDaughter ?P ?H)
    (exists (?F ?AUN)
        (and
            (father ?P ?F)
            (sister ?F ?AUN)
            (daughter ?AUN ?H))))
ArabicCulture.kif 701-707
(=>
    (fathersSistersHusband ?P ?H)
    (exists (?F ?AUN)
        (and
            (father ?P ?F)
            (sister ?F ?AUN)
            (husband ?AUN ?H))))
ArabicCulture.kif 617-623
(=>
    (fathersSistersSon ?P ?H)
    (exists (?F ?AUN)
        (and
            (father ?P ?F)
            (sister ?F ?AUN)
            (son ?AUN ?H))))
ArabicCulture.kif 689-695
(=>
    (grandfather ?H ?P)
    (exists (?C)
        (and
            (father ?C ?P)
            (parent ?H ?C))))
Mid-level-ontology.kif 21278-21283
(=>
    (holdsDuring ?T
        (attribute ?P BereavedFather))
    (exists (?BEFORE ?C)
        (and
            (earlier ?BEFORE ?T)
            (holdsDuring ?BEFORE
                (father ?P ?C))
            (holdsDuring ?T
                (attribute ?C Dead)))))
ArabicCulture.kif 747-753
(=>
    (instance ?MULE Mule)
    (exists (?DONKEY ?HORSE)
        (and
            (father ?MULE ?DONKEY)
            (instance ?DONKEY Donkey)
            (mother ?MULE ?HORSE)
            (instance ?HORSE Horse))))
Mid-level-ontology.kif 18257-18264
(=>
    (paternalAunt ?P ?AUN)
    (exists (?F)
        (and
            (father ?P ?F)
            (sister ?F ?AUN))))
ArabicCulture.kif 571-576
(=>
    (paternalUncle ?P ?UNC)
    (exists (?F)
        (and
            (father ?P ?F)
            (brother ?F ?UNC))))
ArabicCulture.kif 549-554


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