TreeView Knowledge Base Browser - ImmediateFamilyFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ImmediateFamilyFn

Sigma KEE - ImmediateFamilyFn

ImmediateFamilyFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3677-3679
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16309-16311
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16307-16307	The number 1 argument of immediate family is an instance of human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16306-16306	Immediate family is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16305-16305	Immediate family is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16308-16308	The range of immediate family is an instance of family group

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1249-1249
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1248-1248
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1247-1247
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29343-29343
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29342-29342
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29341-29341

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16313-16321	If the immediate family of a human is equal to a family group, then for all an organism if the organism is a member of the family group, then there exists another organism such that the other organism is a parent of the organism or the organism is a parent of the other organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16323-16330	If the immediate family of a human is equal to a family group, then there exists an organism such that the organism is a member of the family group and the human is a parent of the organism or the organism is a parent of the human

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