partTypes |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23752-23753 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23748-23748 | partTypes 的 1 数量 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23749-23749 | partTypes 的 2 数量 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23747-23747 | partTypes 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23751-23751 | partTypes 和 部分 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23750-23750 | partTypes 是 典型的部分 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4078-4078 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4077-4077 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4076-4076 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65893-65893 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23755-23762 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12820-12820 | 每个 Abdomen 是 躯干 的 part |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 1273-1273 | 每个 AbdominalAorta 是 Aorta 的 part |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 8-8 | 每个 AscendingAorta 是 Aorta 的 part |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 375-375 | 每个 ComputerKeyboard 是 ComputerKeyboardKey 的 part |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1134-1134 | 每个 ComputerMenu 是 ComputerMenuItem 的 part |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1133-1133 | 每个 ComputerMenuItem 是 ComputerMenu 的 part |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 400-400 | 每个 ComputerMouse 是 MouseButton 的 part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11875-11875 | 每个 FrontalLobe 是 脑 的 part |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1041-1041 | 每个 GUISlider 是 GUISliderIndicator 的 part |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 639-639 | 每个 GameIODeviceWithAccelerometer 是 Accelerometer 的 part |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1150-1150 | 每个 GraphicalComputerMenu 是 GraphicalMenuItem 的 part |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1149-1149 | 每个 GraphicalMenuItem 是 GraphicalComputerMenu 的 part |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1617-1617 | 每个 IncusBone 是 AuditoryCanal 的 part |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 539-539 | 每个 InternalComputerLoudspeaker 是 电脑硬件 的 part |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1616-1616 | 每个 MalleusBone 是 AuditoryCanal 的 part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11853-11853 | 每个 Medulla 是 脑 的 part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11882-11882 | 每个 OccipitalLobes 是 脑 的 part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11867-11867 | 每个 ParietalLobe 是 脑 的 part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11859-11859 | 每个 Pons 是 脑 的 part |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 986-986 | 每个 ScrollBarArrowButton 是 ScrollBar 的 part |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 975-975 | 每个 ScrollBarBar 是 ScrollBar 的 part |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1019-1019 | 每个 ScrollBarDownArrowButton 是 VerticalScrollBar 的 part |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1002-1002 | 每个 ScrollBarLeftArrowButton 是 HorizontalScrollBar 的 part |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 995-995 | 每个 ScrollBarRightArrowButton 是 HorizontalScrollBar 的 part |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1010-1010 | 每个 ScrollBarUpArrowButton 是 VerticalScrollBar 的 part |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |