| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 632-632 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 631-631 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 629-630 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 633-634 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 628-628 | AppleIPhone est une sous-classe de AppleComputer |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 627-627 | AppleIPhone est une sous-classe de MobileCellPhone |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 91-91 | canRunOn AppleIOS and AppleIPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3150-3150 | initiallyContainsPart IDeviceHomeButton and AppleIPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 642-642 | AppleIPhone1 est une sous-classe de AppleIPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 663-663 | AppleIPhone11 est une sous-classe de AppleIPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 665-665 | AppleIPhone11ProMax est une sous-classe de AppleIPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 664-664 | AppleIPhone11pro est une sous-classe de AppleIPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 644-644 | AppleIPhone3GS est une sous-classe de AppleIPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 643-643 | AppleIPhone3g est une sous-classe de AppleIPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 645-645 | AppleIPhone4 est une sous-classe de AppleIPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 646-646 | AppleIPhone4s est une sous-classe de AppleIPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 647-647 | AppleIPhone5 est une sous-classe de AppleIPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 648-648 | AppleIPhone5c est une sous-classe de AppleIPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 649-649 | AppleIPhone5s est une sous-classe de AppleIPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 650-650 | AppleIPhone6 est une sous-classe de AppleIPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 651-651 | AppleIPhone6plus est une sous-classe de AppleIPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 652-652 | AppleIPhone6s est une sous-classe de AppleIPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 653-653 | AppleIPhone6splus est une sous-classe de AppleIPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 655-655 | AppleIPhone7 est une sous-classe de AppleIPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 656-656 | AppleIPhone7plus est une sous-classe de AppleIPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 657-657 | AppleIPhone8 est une sous-classe de AppleIPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 658-658 | AppleIPhone8plus est une sous-classe de AppleIPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 659-659 | AppleIPhoneX est une sous-classe de AppleIPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 662-662 | AppleIPhoneXR est une sous-classe de AppleIPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 660-660 | AppleIPhoneXS est une sous-classe de AppleIPhone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 661-661 | AppleIPhoneXSmax est une sous-classe de AppleIPhone |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2242-2246 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4263-4282 |
|
|
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