TreeView Knowledge Base Browser - son

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

son

Sigma KEE - son

son

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3697-3698
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16474-16476
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16472-16472	The number 1 argument of son is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16473-16473	The number 2 argument of son is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16471-16471	son is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16470-16470	son is a subrelation of parent

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4570-4570
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4569-4569
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4568-4568
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53940-53940
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53939-53939
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53938-53938

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 16478-16480

If an organism is the son of another organism,
then male is an attribute of the organism

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23108-23113	A man is the nephew of a human if and only if there exists an organism such that the organism is a sibling of the human and the man is the son of the organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23026-23030	If an organism is a parent of another organism and the other organism is an instance of man, then the other organism is the son of the organism
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 654-660	If an organism is the father's brother's son of another organism, then there exist a man and a human such that the man is a father of the organism and the man is the brother of the human and the human is the son of the other organism
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 702-708	If an organism is the father's sister's son of another organism, then there exist a woman and a human such that the woman is a father of the organism and the woman is the sister of the human and the human is the son of the other organism
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 678-684	If the mother's brother's son of an organism is another organism, then there exist a man and a human such that the man is a mother of the organism and the man is the brother of the human and the human is the son of the other organism
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 726-732	If the mother's sister's son of an organism is another organism, then there exist a woman and a human such that the woman is a mother of the organism and the woman is the sister of the human and the human is the son of the other organism

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