TreeView Knowledge Base Browser

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

如果每个有点客体是另一个有点客体的 part 和第三客体是有点客体的 instance，
然后有存在第四客体这样那个第四客体是另一个有点客体的 instance 和那个第三客体是那个第四客体的 part

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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: