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 |