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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 The number 1 argument of part types is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23749-23749 The number 2 argument of part types is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23747-23747 part types is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23751-23751 part types is internally related to part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23750-23750 part types is a subrelation of typical part

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 Every abdomen is a part of a torso
No TPTP formula. May not be expressible in strict first order. arteries.kif 1273-1273 Every abdominal aorta is a part of a aorta
No TPTP formula. May not be expressible in strict first order. arteries.kif 8-8 Every ascending aorta is a part of a aorta
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 375-375 Every computer keyboard is a part of a computer keyboard key
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1134-1134 Every computer menu is a part of a computer menu item
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1133-1133 Every computer menu item is a part of a computer menu
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 400-400 Every computer mouse is a part of a mouse button
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11875-11875 Every frontal lobe is a part of a brain
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1041-1041 Every GUI slider is a part of a GUI slider indicator
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 639-639 Every game I/O device with accelerometer is a part of a accelerometer
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1150-1150 Every graphical computer menu is a part of a graphical menu item
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1149-1149 Every graphical menu item is a part of a graphical computer menu
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1617-1617 Every IncusBone is a part of a auditory canal
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 539-539 Every internal computer loudspeaker is a part of a computer hardware
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1616-1616 Every MalleusBone is a part of a auditory canal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11853-11853 Every medulla is a part of a brain
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11882-11882 Every occipital lobes is a part of a brain
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11867-11867 Every parietal lobe is a part of a brain
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11859-11859 Every pons is a part of a brain
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 986-986 Every scroll bar arrow button is a part of a scroll bar
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 975-975 Every scroll bar bar is a part of a scroll bar
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1019-1019 Every scroll bar down arrow button is a part of a vertical scroll bar
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1002-1002 Every scroll bar left arrow button is a part of a horizontal scroll bar
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 995-995 Every scroll bar right arrow button is a part of a horizontal scroll bar
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1010-1010 Every scroll bar up arrow button is a part of a vertical scroll bar

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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



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