No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 735-735	mothers sisters daughter is a subrelation of family relation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 639-639	mothers sisters husband is a subrelation of family relation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 723-723	mothers sisters son is a subrelation of family relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23106-23106	nephew is a subrelation of family relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23120-23120	niece is a subrelation of family relation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 581-581	paternal aunt is a subrelation of family relation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 559-559	paternal uncle is a subrelation of family relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16462-16462	sibling is a subrelation of family relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23134-23134	uncle is a subrelation of family relation
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 546-546
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23230-23230
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23229-23229
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23228-23228
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 227-227

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