| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2600-2600 | decreasesLikelihood e independentProbability sao disjuntos |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1910-1912 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2619-2621 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 537-539 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2616-2616 | O argumento numero 1 de decreasesLikelihood e' uma instancia de Formula |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2617-2617 | O argumento numero 2 de decreasesLikelihood e' uma instancia de Formula |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2614-2614 | decreasesLikelihood e' uma instancia de Predicado Binario |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2615-2615 | decreasesLikelihood e' uma instancia de Relacao Irreflexiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2613-2613 | decreasesLikelihood e' uma instancia de Relacao de Probabilidade |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2598-2598 | increasesLikelihood e decreasesLikelihood sao disjuntos |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 89-89 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 89-89 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 67-67 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1893-1893 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 19-19 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 91-91 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 98-98 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 108-108 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 86-86 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 66-66 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 150-150 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 101-101 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 90-90 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18833-18833 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18832-18832 | |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 27-27 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 151-151 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2623-2628 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2647-2654 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4399-4410 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4319-4332 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3566-3590 |
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1050-1066 |
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1016-1034 |
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4002-4020 |
|
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 921-929 | biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentAntidote ?AGENT, ?SUBSTANCE and ?PROCESS ?SAMPLE e' uma instancia de ?SUBSTANCE ?THERAPY e' uma instancia de ?PROCESS ?ORGANISM experimenta ?THERAPY ?SAMPLE e' um patient de ?THERAPY diminui a probabilidade de ?SYMPTOM e' um atributo de ?ORGANISM |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18201-18218 | ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X e' uma instancia de PaperShredder ?CUT e' uma instancia de Cortar ?X e' um instrumento para ?CUT ?PAPER e' uma instancia de Paper ?PAPER e' um patient de ?CUT ?CBO e' situado em ?PAPER ?CBO e' uma instancia de VisualContentBearingObject ?CBO contem informacao ?INFO diminui a probabilidade de ?READ ?READ e' uma instancia de Interpreting ?INFO e' um patient de ?READ tempo de existencia de ?CUT acontence antes de tempo de existencia de ?READ |
|
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