| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1504-1506 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 459-462 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 68-70 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 78-81 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 457-457 | Le nombre 1 argument de contraryAttribute est une instance de attribut |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 455-455 | contraryAttribute est une instance de predicat |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 456-456 | contraryAttribute est une instance de relation a arit� variable |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 283-283 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 288-288 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 164-164 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 58-58 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1984-1984 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 116-116 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 367-367 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 99-99 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 184-184 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 171-171 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 92-92 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 284-284 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17010-17010 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17009-17009 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17008-17008 | |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 114-114 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 133-133 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 476-484 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 470-474 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15001-15012 |
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2332-2343 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16943-16951 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 464-468 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 470-474 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18142-18144 |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17095-17095 | Above est l'oppos� de Below |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4475-4475 | AccountDeactivated est l'oppos� de AccountActive |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2803-2803 | AcidicPH est l'oppos� de BasicPH |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 522-522 | AppraisalAsBeingDisliked est l'oppos� de AppraisalAsBeingLiked |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13629-13629 | Audible est l'oppos� de Inaudible |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 336-336 | AuthoritarianRegime est l'oppos� de MultipartyDemocracy |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 391-391 | BroadGauge est l'oppos� de StandardGauge |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22231-22231 | Civilian est l'oppos� de MilitaryPerson |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4968-4968 | Clockwise est l'oppos� de CounterClockwise |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 675-675 | Conductivity est l'oppos� de Resistivity |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 435-435 | Conscious est l'oppos� de inconscient |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1638-1638 | ContainerFull est l'oppos� de ContainerEmpty |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18115-18115 | Dead est l'oppos� de Living |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29426-29426 | DeviceDamaged est l'oppos� de DeviceNormal |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3644-3644 | DeviceOn est l'oppos� de DeviceOff |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3645-3645 | DeviceOpen est l'oppos� de DeviceClosed |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25571-25571 | Dirty est l'oppos� de Clean |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8655-8655 | Drugged est l'oppos� de Sober |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18013-18013 | Dry est l'oppos� de Damp |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18212-18212 | Embryonic est l'oppos� de Larval |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17007-17007 | False est l'oppos� de True |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 285-285 | FederalGovernment est l'oppos� de AuthoritarianRegime |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 284-284 | FederalGovernment est l'oppos� de UnitaryRule |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1849-1849 | FeelingAlert est l'oppos� de FeelingTired |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1782-1782 | FeelingAtEase est l'oppos� de FeelingRestless |
| 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