familyRelation - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3683-3685
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16356-16358
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16354-16354	The number 1 argument of family relation is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16355-16355	The number 2 argument of family relation is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16353-16353	family relation is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16343-16343	family relation is a subrelation of relative

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 545-545
No TPTP formula. May not be expressible in strict first order.	english_format.kif 550-550
No TPTP formula. May not be expressible in strict first order.	french_format.kif 320-320
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 108-108
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2088-2088
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 272-272
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 713-713
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 148-148
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 341-341
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 354-354
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 226-226
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23042-23042	aunt is a subrelation of family relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23057-23057	cousin is a subrelation of family relation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 663-663	fathers brothers daughter is a subrelation of family relation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 651-651	fathers brothers son is a subrelation of family relation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 603-603	fathers brothers wife is a subrelation of family relation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 711-711	fathers sisters daughter is a subrelation of family relation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 627-627	fathers sisters husband is a subrelation of family relation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 699-699	fathers sisters son is a subrelation of family relation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 592-592	maternal aunt is a subrelation of family relation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 570-570	maternal uncle is a subrelation of family relation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 687-687	mothers brothers daughter is a subrelation of family relation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 675-675	mothers brothers son is a subrelation of family relation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 615-615	mothers brothers wife is a subrelation of family relation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 223-234	If monarchy is a government type of an agent and an organism is an instance of human and another organism is an instance of human and the agent chief of state an entity for the organism holds during a time interval and the organism and the other organism are related and the time interval happens earlier than another time interval, then the statement the agent chief of state the entity for the other organism holds during the other time interval has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16360-16365	If an organism and another organism are related, then there exists a third organism such that the organism is the ancestor of the third organism and the other organism is the ancestor of the third organism

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7268-7273	If an object is an instance of family business and an organism possesses the object and another organism possesses the object, then the organism and the other organism are related
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16285-16292	If a collection is an instance of family group, then for all an organism and another organism if the organism is a member of the collection and the other organism is a member of the collection, then the organism and the other organism are related

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

KB Term:			Term intersection

English Word: