father concept from the SUMO knowledge base

Next unparented: height Up: unparented Previous unparented: exactlyLocated

father

subject fact

father documentation The general relationship of fatherhood. (father ?FATHER ?CHILD) means that ?FATHER is the biological father of ?CHILD 2001-11-30 13:34:15.0
has arg1 valence singleValued
has axiom
(=>
(father ?FATHER ?CHILD)
(attribute ?FATHER Male))
has axiom
(=>
(parent ?PARENT ?CHILD)
(or
(mother ?PARENT ?CHILD)
(father ?PARENT ?CHILD)))
has domain1 Animal

father	*documentation* The general relationship of fatherhood. (father ?FATHER ?CHILD) means that ?FATHER is the biological father of ?CHILD
	has arg1 valence singleValued
	has axiom (=> (father ?FATHER ?CHILD) (attribute ?FATHER Male))
	has axiom (=> (parent ?PARENT ?CHILD) (or (mother ?PARENT ?CHILD) (father ?PARENT ?CHILD)))
	has domain1 Animal