TreeView Knowledge Base Browser - husband

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - husband

husband

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3714-3715
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16646-16647
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16643-16643	The number 1 argument of husband is an instance of man
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16644-16644	The number 2 argument of husband is an instance of woman
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16639-16639	husband is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16640-16640	husband is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16641-16641	husband is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16642-16642	husband is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16645-16645	husband is an inverse of wife

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3682-3682
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3681-3681
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3680-3680
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28983-28983
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28982-28982
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28981-28981

consequent

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 630-636	If an organism is the father's sister's husband of a woman, then there exist another woman and a man such that the other woman is a father of the organism and the other woman is the sister of the man and the man is the huband of the woman
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 642-648	If the mother's sister's husband of an organism is a woman, then there exist another woman and a man such that the other woman is a mother of the organism and the other woman is the sister of the man and the man is the huband of the woman

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