| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 784-787 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 782-782 | Le nombre 1 argument de biochemicalAgentDelivery est une sous-classe de BiochemicalAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 783-783 | Le nombre 2 argument de biochemicalAgentDelivery est une sous-classe de processus |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 781-781 | biochemicalAgentDelivery est une instance de pr�dicat binaire |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 292-292 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 291-291 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 290-290 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11039-11039 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11038-11038 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11037-11037 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 789-793 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 789-793 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 767-773 | biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentDelivery ?AGENT and ?PROCESSTYPE ?PROCESS est une instance de ?PROCESSTYPE ?ORGANISM exp�rimente ?PROCESS augmente la probabilit� de ?SYMPTOM est un attribut de ?ORGANISM |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 292-292 | biochemicalAgentDelivery AerosolizedBacillusAnthracis and respirer |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 281-281 | biochemicalAgentDelivery BacillusAnthracis and respirer |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 282-282 | biochemicalAgentDelivery BacillusAnthracis and ing�rer |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 283-283 | biochemicalAgentDelivery BacillusAnthracis and Injecting |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 284-284 | biochemicalAgentDelivery BacillusAnthracis and toucher |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1850-1850 | biochemicalAgentDelivery BacillusCereus and ing�rer |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 200-200 | biochemicalAgentDelivery BacterialAgent and respirer |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 201-201 | biochemicalAgentDelivery BacterialAgent and toucher |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 477-477 | biochemicalAgentDelivery BlisterAgent and respirer |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 478-478 | biochemicalAgentDelivery BlisterAgent and ing�rer |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 476-476 | biochemicalAgentDelivery BlisterAgent and toucher |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 523-523 | biochemicalAgentDelivery BloodAgent and respirer |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1588-1588 | biochemicalAgentDelivery BordetellaPertussis and respirer |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 326-326 | biochemicalAgentDelivery BotulinumToxin and ing�rer |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 357-357 | biochemicalAgentDelivery BurkholderiaMallei and Injecting |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 374-374 | biochemicalAgentDelivery BurkholderiaPseudomallei and respirer |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 375-375 | biochemicalAgentDelivery BurkholderiaPseudomallei and ing�rer |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 373-373 | biochemicalAgentDelivery BurkholderiaPseudomallei and Injecting |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1598-1598 | biochemicalAgentDelivery ChlamydiaPsittaci and respirer |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 603-603 | biochemicalAgentDelivery ChokingAgent and respirer |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 342-342 | biochemicalAgentDelivery ClostridiumPerfringens and ing�rer |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1507-1507 | biochemicalAgentDelivery ClostridiumTetani and Injecting |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1250-1250 | biochemicalAgentDelivery CoxiellaBurnetii and respirer |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1251-1251 | biochemicalAgentDelivery CoxiellaBurnetii and ing�rer |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1921-1921 | biochemicalAgentDelivery CrimeanCongoHemorrhagicFeverVirus and Injecting |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
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