No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17073-17073 |
Above e' &o oposto de Below |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4475-4475 |
AccountDeactivated e' &o oposto de AccountActive |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2803-2803 |
AcidicPH e' &o oposto de BasicPH |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 522-522 |
AppraisalAsBeingDisliked e' &o oposto de AppraisalAsBeingLiked |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13607-13607 |
Audible e' &o oposto de Inaudible |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 336-336 |
AuthoritarianRegime e' &o oposto de MultipartyDemocracy |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 391-391 |
BroadGauge e' &o oposto de StandardGauge |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22232-22232 |
Civilian e' &o oposto de MilitaryPerson |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4960-4960 |
Clockwise e' &o oposto de CounterClockwise |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 675-675 |
Conductivity e' &o oposto de Resistivity |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 435-435 |
Conscious e' &o oposto de Inconsciente |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1638-1638 |
ContainerFull e' &o oposto de ContainerEmpty |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18093-18093 |
Dead e' &o oposto de Living |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29438-29438 |
DeviceDamaged e' &o oposto de DeviceNormal |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3644-3644 |
DeviceOn e' &o oposto de DeviceOff |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3645-3645 |
DeviceOpen e' &o oposto de DeviceClosed |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25572-25572 |
Dirty e' &o oposto de Clean |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8656-8656 |
Drugged e' &o oposto de Sober |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17991-17991 |
Dry e' &o oposto de Damp |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18190-18190 |
Embryonic e' &o oposto de Larval |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16985-16985 |
False e' &o oposto de True |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 285-285 |
FederalGovernment e' &o oposto de AuthoritarianRegime |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 284-284 |
FederalGovernment e' &o oposto de UnitaryRule |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1849-1849 |
FeelingAlert e' &o oposto de FeelingTired |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1782-1782 |
FeelingAtEase e' &o oposto de FeelingRestless |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |