| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1875-1878 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2474-2478 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 499-502 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2471-2471 | Le nombre 1 argument de instrument est une instance de processus |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2472-2472 | Le nombre 2 argument de instrument est une instance de objet |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2469-2469 | instrument est une instance de r�le d�pendant du cas |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2470-2470 | instrument est une instance de relation partielle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2468-2468 | instrument est une sous-relation de patient |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2514-2514 | resource et instrument sont disjoint |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2515-2515 | result et instrument sont disjoint |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 135-135 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 136-136 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 89-89 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 150-150 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1916-1916 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 41-41 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 83-83 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 163-163 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 189-189 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 108-108 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 88-88 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 304-304 | |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 199-199 | computerRunning est une sous-relation de instrument |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23532-23532 | conveyance est une sous-relation de instrument |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1709-1709 | eCommerceSite est une sous-relation de instrument |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8805-8805 | reagent est une sous-relation de instrument |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 531-531 | standardErrorDevice est une sous-relation de instrument |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 500-500 | standardInputDevice est une sous-relation de instrument |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 514-514 | standardOutputDevice est une sous-relation de instrument |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30259-30259 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 136-136 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10685-10696 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10672-10683 |
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 346-361 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4242-4248 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2763-2777 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11108-11118 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11141-11151 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 57-62 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3516-3523 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22018-22025 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29758-29765 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11560-11564 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1422-1432 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3498-3506 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3543-3554 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2766-2773 |
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 180-185 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2546-2554 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1379-1389 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1070-1090 |
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1051-1068 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1235-1247 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17051-17063 |
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4287-4299 |
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4301-4314 |
|
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10685-10696 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10672-10683 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12537-12547 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26159-26171 |
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 504-520 |
|
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 202-214 |
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1347-1358 |
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1923-1939 |
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 811-832 |
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 294-313 |
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1619-1630 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1632-1644 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4411-4425 |
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2200-2216 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1129-1142 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1239-1247 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3416-3426 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6515-6523 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 693-707 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4391-4399 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2766-2773 |
|
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 420-431 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 601-609 |
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 690-700 | |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1636-1643 |
|
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18202-18219 | ?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 |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3309-3315 | IBookstore a pour but ?D ?D est une instance de DownloadingOverNetwork IBookstore est un instrument pour ?D ?T est une instance de texte objectTransferred ?D and ?T |
|
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