|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 745-745 | 不相交的 ExternalDiskDrive and InternalHardDisk |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1551-1551 | 不相交的 FHA貸款 and 傳統抵押貸款 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16030-16030 | 不相交的 Fabric and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15535-15535 | 不相交的 事實文本 and 虛構的文字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17763-17763 | 不相交的 沉沉睡去 and 起來 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8253-8253 | 不相交的 農場建設 and 住宅樓 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 979-979 | 不相交的 固定利率賬戶 and 可調利率賬戶 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 806-806 | 不相交的 FlashDrive and MemoryCard |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 696-696 | 不相交的 FloppyDisk and HardDisk |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6656-6656 | 不相交的 森林 and 領域 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17376-17376 | 不相交的 正式會議 and 社交聚會 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1335-1335 | 不相交的 FunctionKeyHoldDown and AltKeyHoldDown |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1337-1337 | 不相交的 FunctionKeyHoldDown and ControlKeyHoldDown |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1336-1336 | 不相交的 FunctionKeyHoldDown and ShiftKeyHoldDown |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4157-4157 | 不相交的 家具 and AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4153-4153 | 不相交的 家具 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4154-4154 | 不相交的 家具 and Machine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4155-4155 | 不相交的 家具 and TransportationDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4156-4156 | 不相交的 家具 and Weapon |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 568-568 | 不相交的 G系列神經毒劑 and V系列神經毒劑 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 936-936 | 不相交的 GUIButton and ComputerKeyboardKey |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 938-938 | 不相交的 GUIButton and ComputerTouchscreenKeyboard |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 937-937 | 不相交的 GUIButton and ComputerTouchscreenKeypad |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1126-1126 | 不相交的 GUICheckBox and GUIRadioButton |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1030-1030 | 不相交的 GUISlider and ComputerTouchscreenKeyboard |
| 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