| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 353-355 | |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 351-351 | 域子類 可以操作, 1 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 352-352 | 域子類 可以操作, 2 and 電腦 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 350-350 | 例 可以操作 and AsymmetricRelation |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 349-349 | 例 可以操作 and BinaryPredicate |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2195-2195 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2194-2194 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2193-2193 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 729-729 | 子關係 deviceOS and 可以操作 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12998-12998 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12997-12997 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12996-12996 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 357-363 |
|
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4254-4254 | IOS 13 應該可以 ComputerProcess AppleFindMy |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 91-91 | IPhone 應該可以 ComputerProcess 蘋果作業系統 |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 755-755 | IMac 應該可以 ComputerProcess AppleMacOSX |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 814-814 | Macbook 應該可以 ComputerProcess AppleMacOSX |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 799-799 | Macbook Air 應該可以 ComputerProcess AppleMacOSX |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 784-784 | Macbook Pro 應該可以 ComputerProcess AppleMacOSX |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 769-769 | Mac Pro 應該可以 ComputerProcess AppleMacOSX |
|
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