| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2600-2600 | decreasesLikelihood et independentProbability sont disjoint |
| 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 | Le nombre 1 argument de decreasesLikelihood est une instance de formule |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2617-2617 | Le nombre 2 argument de decreasesLikelihood est une instance de formule |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2614-2614 | decreasesLikelihood est une instance de pr�dicat binaire |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2615-2615 | decreasesLikelihood est une instance de relation irr�flexive |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2613-2613 | decreasesLikelihood est une instance de relation de probabilit� |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2598-2598 | increasesLikelihood et decreasesLikelihood sont disjoint |
| 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 4400-4411 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4320-4333 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3543-3567 |
|
| 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 3979-3997 |
|
| 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 est une instance de ?SUBSTANCE ?THERAPY est une instance de ?PROCESS ?ORGANISM exp�rimente ?THERAPY ?SAMPLE est un patient de ?THERAPY diminue la probabilit� de ?SYMPTOM est un attribut de ?ORGANISM |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18229-18246 | ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X est une instance de PaperShredder ?CUT est une instance de couper ?X est un instrument pour ?CUT ?PAPER est une instance de Paper ?PAPER est un patient de ?CUT ?CBO est situ� � ?PAPER ?CBO est une instance de VisualContentBearingObject ?CBO contient information ?INFO diminue la probabilit� de ?READ ?READ est une instance de Interpreting ?INFO est un patient de ?READ temps d'existence de ?CUT arrive plus t�t que temps d'existence 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