No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1690-1690	plays is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1678-1678	referee is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2504-2504	resource is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2122-2122	resource used is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2544-2544	result is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7953-7953	target in attack is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	Law.kif 260-260	victim is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	Law.kif 208-208	witness is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 168-168	witness is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44798-44798	witness is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44797-44797	witness is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44796-44796	witness is a subrelation of patient
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 64-64	witness is a subrelation of patient

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