typicallyContainsPart |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23662-23665 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23666-23666 | 通常包含部分 的 1 数量 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23667-23667 | 通常包含部分 的 2 数量 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23659-23659 | 通常包含部分 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23660-23660 | 通常包含部分 是 空间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23661-23661 | 通常包含部分 和 部分 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 347-347 | 通常包含部分 和 典型的部分 是 内部相关 |
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 和 通常包含部分 是 内部相关 |
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 23677-23694 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23669-23675 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2007-2007 | AirConditioner typically 有 part AirConditioningCompressor |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2051-2051 | AirConditioner typically 有 part AirConditioningCondenser |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2075-2075 | AirConditioner typically 有 part AirConditioningEvaporator |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1212-1212 | 车辆 typically 有 part Alternator |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3630-3630 | 汽车 typically 有 part AutoAirbag |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 726-726 | 汽车 typically 有 part AutoSuspensionSystem |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 869-869 | 汽车 typically 有 part AutomobileShock |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1560-1560 | BrakeSystem typically 有 part BrakeCaliper |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 670-670 | DrumBrake typically 有 part BrakeDrum |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1632-1632 | BrakeSystem typically 有 part BrakeMasterCylinder |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 664-664 | DiscBrake typically 有 part BrakeRotor |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1236-1236 | 汽车 typically 有 part BrakeSystem |
No TPTP formula. May not be expressible in strict first order. | Food.kif 635-635 | 咖啡 typically 有 part Caffeine |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1715-1715 | AutomobileExhaustSystem typically 有 part CatalyticConverter |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4971-4971 | ChevroletAutomobile typically 有 part ChevroletEngine |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 342-342 | Crankcase typically 有 part Crankshaft |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 339-339 | IntermittentCombustionEngine typically 有 part Crankshaft |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2140-2140 | 泵 typically 有 part EngineCoolingSystem |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2786-2786 | EngineCoolingSystem typically 有 part EngineWaterPump |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2627-2627 | AutomobileExhaustSystem typically 有 part ExhaustManifold |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2663-2663 | FourStrokeEngine typically 有 part ExhaustValve |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1366-1366 | 枪 typically 有 part 枪扳机 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3141-3141 | 汽车 typically 有 part IgnitionCoil |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3204-3204 | AutomobileIgnitionSystem typically 有 part IgnitionControlModule |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2688-2688 | FourStrokeEngine typically 有 part IntakeValve |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |