No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1670-1670 |
Abstrait est disjointement decompos� en quantit�, attribut, relation, proposition , + liste |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14571-14571 |
Arthropode est disjointement decompos� en arachnide, myriapode, insecte, + crustac� |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14593-14593 |
Vert�br� � sang froid est disjointement decompos� en amphibien, poisson, + reptile |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 283-284 |
CommissionedOfficerRank est disjointement decompos� en FlagOfficerRank, FieldGradeOfficerRank, + CompanyGradeRank |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3215-3215 |
ComputerStatus est disjointement decompos� en HostReady, HostDown, + Booting |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 180-180 |
DifferentialEquation est disjointement decompos� en FirstOrderDifferentialEquation + HigherOrderDifferentialEquation |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 190-190 |
DifferentialEquation est disjointement decompos� en OrdinaryDifferentialEquation + PartialDifferentialEquation |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 269-269 |
EnlistedSoldierRank est disjointement decompos� en PrivateRank + NonCommissionedOfficerRank |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12971-12971 |
Exprimer est disjointement decompos� en ExpressingApproval + ExpressingDisapproval |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17004-17004 |
GameArtifact est disjointement decompos� en GameBoard + GamePiece |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14550-14550 |
Invertebr� est disjointement decompos� en ver, mollusque, + arthropode |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 37-37 |
LAN est disjointement decompos� en BusNetwork, StarNetwork, + RingNetwork |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1406-1406 |
Langage est disjointement decompos� en langage animal, langage humain, + langage de programmation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14627-14627 |
Mammif�re est disjointement decompos� en mammif�re aquatique, ongul�, marsupial, rongeur, + primate |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3505-3505 |
NSAID est disjointement decompos� en Aspirin, Ibuprofen, + Acetaminophen |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 306-306 |
NonCommissionedOfficerRank est disjointement decompos� en JuniorNCORank + SeniorNCORank |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14456-14456 |
Plante non florissante est disjointement decompos� en algue, foug�re, + mousse |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14728-14728 |
Nutriment est disjointement decompos� en prot�ine, hydrate de carbone, + vitamine |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15348-15348 |
Phrase est disjointement decompos� en syntagme verbal, syntagme nominal, + phrase pr�positionnelle |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2087-2087 |
PowerGeneration est disjointement decompos� en FossilFuelPowerGeneration, HydroElectricPowerGeneration, NuclearPowerGeneration, + OtherSourcePowerGeneration |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14673-14673 |
Primate est disjointement decompos� en simien, singe, + hominid� |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2160-2161 |
Relation est disjointement decompos� en relation binaire, relation ternaire, relation quaternaire, relation quinternaire, + relation a arit� variable |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15823-15823 |
Residence est disjointement decompos� en PermanentResidence + TemporaryResidence |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14258-14258 |
Phrase est disjointement decompos� en Statement, Supposition, Question, Request, + Order |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15171-15171 |
Tissu est disjointement decompos� en ConnectiveTissue, MuscleTissue, NervousTissue, + EpithelialTissue |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |