No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 735-735	mothersSistersDaughter e' uma sub-relacao de familyRelation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 639-639	mothersSistersHusband e' uma sub-relacao de familyRelation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 723-723	mothersSistersSon e' uma sub-relacao de familyRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23106-23106	nephew e' uma sub-relacao de familyRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23120-23120	niece e' uma sub-relacao de familyRelation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 581-581	paternalAunt e' uma sub-relacao de familyRelation
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 559-559	paternalUncle e' uma sub-relacao de familyRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16462-16462	sibling e' uma sub-relacao de familyRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23134-23134	uncle e' uma sub-relacao de familyRelation
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