typicallyContainsPart |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23661-23664 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23665-23665 | O argumento numero 1 de typicallyContainsPart e' uma sub-classe de Objeto |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23666-23666 | O argumento numero 2 de typicallyContainsPart e' uma sub-classe de Objeto |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23658-23658 | typicallyContainsPart e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23659-23659 | typicallyContainsPart e' uma instancia de Relacao Espacial |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23660-23660 | typicallyContainsPart e' relacionado internamente por SUMO a part |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 347-347 | typicallyContainsPart e' relacionado internamente por SUMO a typicalPart |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4846-4846 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4845-4845 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4844-4844 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1474-1474 | typicallyContainsTemporalPart e' relacionado internamente por SUMO a typicallyContainsPart |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59750-59750 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59749-59749 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59748-59748 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23676-23693 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23668-23674 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2013-2013 | typicallyContainsPart AirConditioningCompressor and AirConditioner |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2057-2057 | typicallyContainsPart AirConditioningCondenser and AirConditioner |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2081-2081 | typicallyContainsPart AirConditioningEvaporator and AirConditioner |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1212-1212 | typicallyContainsPart Alternator and Vehicle |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3638-3638 | typicallyContainsPart AutoAirbag and Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 726-726 | typicallyContainsPart AutoSuspensionSystem and Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 869-869 | typicallyContainsPart AutomobileShock and Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1565-1565 | typicallyContainsPart BrakeCaliper and BrakeSystem |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 670-670 | typicallyContainsPart BrakeDrum and DrumBrake |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1638-1638 | typicallyContainsPart BrakeMasterCylinder and BrakeSystem |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 664-664 | typicallyContainsPart BrakeRotor and DiscBrake |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1236-1236 | typicallyContainsPart BrakeSystem and Automobile |
No TPTP formula. May not be expressible in strict first order. | Food.kif 635-635 | typicallyContainsPart Caffeine and Coffee |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1721-1721 | typicallyContainsPart CatalyticConverter and AutomobileExhaustSystem |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4979-4979 | typicallyContainsPart ChevroletEngine and ChevroletAutomobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 342-342 | typicallyContainsPart Crankshaft and Crankcase |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 339-339 | typicallyContainsPart Crankshaft and IntermittentCombustionEngine |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2146-2146 | typicallyContainsPart EngineCoolingSystem and Pump |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2792-2792 | typicallyContainsPart EngineWaterPump and EngineCoolingSystem |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2633-2633 | typicallyContainsPart ExhaustManifold and AutomobileExhaustSystem |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2669-2669 | typicallyContainsPart ExhaustValve and FourStrokeEngine |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1366-1366 | typicallyContainsPart GunTrigger and Gun |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3149-3149 | typicallyContainsPart IgnitionCoil and Automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3212-3212 | typicallyContainsPart IgnitionControlModule and AutomobileIgnitionSystem |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2694-2694 | typicallyContainsPart IntakeValve and FourStrokeEngine |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |