|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1042-1042 | 不相交的 GUISliderIndicator and ComputerMenu |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1043-1043 | 不相交的 GUISliderIndicator and ScrollBar |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1044-1044 | 不相交的 GUISliderIndicator and ScrollBarBar |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14759-14759 | 不相交的 混合氣體 and 液體混合物 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11213-11213 | 不相交的 地質過程 and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 892-892 | 不相交的 GraphicalComputerMenu and ComputerTouchscreenKeyboard |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 891-891 | 不相交的 GraphicalComputerMenu and ComputerTouchscreenKeypad |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5280-5280 | 不相交的 Hardwood and Softwood |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10937-10937 | 不相交的 Heating and Cooling |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9356-9356 | 不相交的 HerbaceousPlant and WoodyPlant |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20062-20062 | 不相交的 草食動物 and Carnivore |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8017-8017 | 不相交的 獨立國家 and 依賴或特殊主權領域 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9141-9141 | 不相交的 在室內 and 在戶外 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 655-655 | 不相交的 InternalDigitalDataStorageDevice and RemovableDigitalDataStorageDevice |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4139-4139 | 不相交的 內部轉移 and 外部轉移 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5839-5839 | 不相交的 Island and 內陸地區 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 613-613 | 不相交的 Joystick and Trackball |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1636-1636 | 不相交的 JoystickMotion and KeyboardAction |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1635-1635 | 不相交的 JoystickMotion and TouchSurfaceAction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10668-10668 | 不相交的 LeavingAnOrganization and JoiningAnOrganization |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 304-304 | 不相交的 LeftArrowKey and RightArrowKey |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1398-1398 | 不相交的 LinguisticExpression and Icon |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 905-905 | 不相交的 ListBox and DropDownList |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16479-16479 | 不相交的 失去意識 and 獲得意識 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 391-391 | 不相交的 Meat and Beverage |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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