|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15902-15902 | 不相交的 Fabric and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15404-15404 | 不相交的 事實文本 and 虛構的文字 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16375-16375 | 不相交的 沉沉睡去 and 起來 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7091-7091 | 不相交的 農場建設 and 住宅樓 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 977-977 | 不相交的 固定利率賬戶 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 6353-6353 | 不相交的 森林 and 領域 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15988-15988 | 不相交的 正式會議 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 3714-3714 | 不相交的 家具 and AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3710-3710 | 不相交的 家具 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3711-3711 | 不相交的 家具 and Machine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3712-3712 | 不相交的 家具 and TransportationDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3713-3713 | 不相交的 家具 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 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1029-1029 | 不相交的 GUISlider and ComputerTouchscreenKeypad |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1028-1028 | 不相交的 GUISlider and ScrollBar |
| 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