| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15026-15027 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15029-15029 | O argumento numero 2 de manufacturer e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15028-15028 | O argumento numero 1 de manufacturer e' uma sub-classe de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15025-15025 | manufacturer e' uma instancia de Predicado Binario |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15030-15030 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65868-65868 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 734-743 |
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3476-3486 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5117-5120 | Objeto Objeto e' uma sub-classe de HandToolBox manufacturer Objeto and SortimoCorp |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 103-103 | manufacturer AppleComputer and AppleComputerCorporation |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 972-972 | manufacturer AppleSystemManagementController and AppleComputerCorporation |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4975-4975 | manufacturer ChevroletAutomobile and GeneralMotorsCorp |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4516-4516 | manufacturer CommodoreAutomobile and HoldenCorporation |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4522-4522 | manufacturer CommodoreWheel and HoldenCorporation |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5128-5128 | manufacturer Corvette and GeneralMotorsCorp |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5173-5173 | manufacturer CosworthEngine and CosworthCorp |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4463-4463 | manufacturer FitbitDevice and FitbitCompany |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4922-4922 | manufacturer FordAutomobile and FordCorporation |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5124-5124 | manufacturer GMLs1V8engine and GeneralMotorsCorp |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4589-4589 | manufacturer HarleyDavidsonKnuckleheadEngine and HarleyDavidsonCorp |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4693-4693 | manufacturer HarleyDavidsonPanheadEngine and HarleyDavidsonCorp |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4876-4876 | manufacturer HoldenToranaAutomobile and HoldenCorporation |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5163-5163 | manufacturer IconHelmet and IconMotorcyleEquipmentCorporation |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4863-4863 | manufacturer MiniCooper and BritishMotorCorp |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4813-4813 | manufacturer Pedialyte and AbbottLaboratories |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5021-5021 | manufacturer PeterbiltTruck and PeterbiltCorp |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5554-5554 | manufacturer Rinvoq and AbbVie |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4722-4722 | manufacturer RoverV8Engine and RoverGroup |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4746-4746 | manufacturer SeagullOutboard and BritishSeagullCorp |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4852-4852 | manufacturer SimmonsWheelRim and SimmonsCorp |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4972-4972 | manufacturer SnapOnRatchet and SnapOnTools |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3848-3848 | manufacturer Valvoline and MotorOil |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2988-2988 | manufacturer Zyrtec and JohnsonAndJohnson |
|
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