| 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 16450-16452 | |
| (domain father 1 Organism) | Merge.kif 16448-16448 | Die Zahl 1 Argument von father ist ein fall von Organism %n{nicht} |
| (domain father 2 Organism) | Merge.kif 16449-16449 | Die Zahl 2 Argument von father ist ein fall von Organism %n{nicht} |
| (instance father BinaryPredicate) | Merge.kif 16442-16442 | father ist ein fall von BinaryPredicate %n{nicht} |
| (instance father PartialValuedRelation) | Merge.kif 16441-16441 | father ist ein fall von PartialValuedRelation %n{nicht} |
| (instance father SingleValuedRelation) | Merge.kif 16440-16440 | father ist ein fall von SingleValuedRelation %n{nicht} |
| 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 16444-16446 |
|
| (=> (father ?CHILD ?FATHER) (attribute ?FATHER Male)) |
Merge.kif 16454-16456 |
|
| 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 23060-23075 | cousin Human and ** Human genau dann wenn es gibt Woman und Man um grandmother ** Human and ** Woman und grandfather ** Human and ** Man und grandmother ** ** Human and ** Woman und grandfather ** ** Human and ** Man und es gibt nicht Organism und ** Organism um ** Organism ist die mutter von ** Human %n{nicht} und ** ** Organism ist der vater von ** Human %n{nicht} und ** Organism ist die mutter von ** ** Human %n{nicht} und ** ** Organism ist der vater von ** ** Human %n{nicht} |
| (<=> (stepfather ?P ?F) (exists (?M) (and (mother ?P ?M) (spouse ?F ?M) (not (father ?P ?F))))) |
Mid-level-ontology.kif 23151-23158 | stepfather Human and Man genau dann wenn es gibt ** Human um ** ** Human ist die mutter von ** Human %n{nicht} und spouse ** Man and ** ** Human und ** Man ist der vater von ** Human nicht |
| (<=> (stepmother ?P ?M) (exists (?F) (and (father ?P ?F) (spouse ?M ?F) (not (mother ?P ?M))))) |
Mid-level-ontology.kif 23168-23175 | stepmother Human and Woman genau dann wenn es gibt ** Human um ** ** Human ist der vater von ** Human %n{nicht} und spouse ** Woman and ** ** Human und ** Woman ist die mutter von ** Human nicht |
| (=> (and (instance ?REP SexualReproduction) (result ?REP ?ORGANISM)) (exists (?MOTHER ?FATHER) (and (mother ?ORGANISM ?MOTHER) (father ?ORGANISM ?FATHER)))) |
Merge.kif 10358-10365 |
|
| (=> (and (parent ?CHILD ?PARENT) (attribute ?PARENT Male)) (father ?CHILD ?PARENT)) |
Merge.kif 16509-16513 |
|
| (=> (and (parent ?CHILD ?PARENT) (instance ?PARENT Man)) (father ?CHILD ?PARENT)) |
Mid-level-ontology.kif 23020-23024 |
|
| (=> (and (parent ?CHILD ?PARENT) (instance ?REP SexualReproduction) (agent ?REP ?PARENT) (result ?REP ?CHILD)) (or (mother ?CHILD ?PARENT) (father ?CHILD ?PARENT))) |
Merge.kif 16408-16416 |
|
| (=> (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 23082-23087 |
|
| (=> (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 20163-20170 |
|
| (=> (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 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