Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  partTypes

 Sigma KEE - partTypes
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 and Object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23749-23749 域子類 partTypes, 2 and Object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23747-23747 例 partTypes and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23751-23751 相關的內部概念 partTypes and 部分
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23750-23750 子關係 partTypes and 典型的部分

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


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners