patient

-------------------------


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 2508-2508 resource is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1991-1991 resource used is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Merge.kif 2548-2548 result is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6792-6792 target in attack is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22860-22860 transported is a subrelation of patient
No TPTP formula. May not be expressible in strict first order. Law.kif 258-258 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
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44796-44796
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44795-44795
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44794-44794
No TPTP formula. May not be expressible in strict first order. terms-de.txt 64-64


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