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 23751-23752
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23747-23747 O argumento numero 1 de partTypes e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23748-23748 O argumento numero 2 de partTypes e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23746-23746 partTypes e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23750-23750 partTypes e' relacionado internamente por SUMO a part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23749-23749 partTypes e' uma sub-relacao de typicalPart

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 23754-23761

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12819-12819 partTypes Abdomen and Torso
No TPTP formula. May not be expressible in strict first order. arteries.kif 1273-1273 partTypes AbdominalAorta and Aorta
No TPTP formula. May not be expressible in strict first order. arteries.kif 8-8 partTypes AscendingAorta and Aorta
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 375-375 partTypes ComputerKeyboard and ComputerKeyboardKey
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1134-1134 partTypes ComputerMenu and ComputerMenuItem
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1133-1133 partTypes ComputerMenuItem and ComputerMenu
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 400-400 partTypes ComputerMouse and MouseButton
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11874-11874 partTypes FrontalLobe and Brain
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1041-1041 partTypes GUISlider and GUISliderIndicator
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 639-639 partTypes GameIODeviceWithAccelerometer and Accelerometer
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1150-1150 partTypes GraphicalComputerMenu and GraphicalMenuItem
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1149-1149 partTypes GraphicalMenuItem and GraphicalComputerMenu
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1617-1617 partTypes IncusBone and AuditoryCanal
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 539-539 partTypes InternalComputerLoudspeaker and ComputerHardware
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1616-1616 partTypes MalleusBone and AuditoryCanal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11852-11852 partTypes Medulla and Brain
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11881-11881 partTypes OccipitalLobes and Brain
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11866-11866 partTypes ParietalLobe and Brain
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11858-11858 partTypes Pons and Brain
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 986-986 partTypes ScrollBarArrowButton and ScrollBar
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 975-975 partTypes ScrollBarBar and ScrollBar
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1019-1019 partTypes ScrollBarDownArrowButton and VerticalScrollBar
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1002-1002 partTypes ScrollBarLeftArrowButton and HorizontalScrollBar
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 995-995 partTypes ScrollBarRightArrowButton and HorizontalScrollBar
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1010-1010 partTypes ScrollBarUpArrowButton and VerticalScrollBar

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