| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23699-23705 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23707-23707 | Le nombre 1 argument de initialPart est une sous-classe de objet |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23708-23708 | Le nombre 2 argument de initialPart est une sous-classe de objet |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23696-23696 | initialPart est une instance de pr�dicat binaire |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23697-23697 | initialPart est une instance de relation spatial |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23698-23698 | initialPart est reli� � l'int�rieur de SUMO � part |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3706-3706 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3705-3705 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3704-3704 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30127-30127 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30126-30126 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30125-30125 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23710-23719 | |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 600-608 | |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1633-1639 |
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2822-2824 |
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1809-1814 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2876-2882 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4629-4634 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4693-4699 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4166-4172 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4532-4543 |
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2906-2914 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5041-5046 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5051-5056 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4715-4721 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5296-5301 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5306-5311 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5316-5321 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5421-5426 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5326-5333 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5431-5436 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5284-5291 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5441-5446 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5338-5343 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5348-5353 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5461-5466 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5358-5363 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5368-5373 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5378-5383 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5409-5416 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5451-5456 |
|
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23721-23721 | initialPart AnimalAnatomicalStructure and animal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11529-11529 | initialPart AnimalShell and animal |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 688-688 | initialPart ArmBone and Arm |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4583-4583 | initialPart AvocadoOil and Avocado |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4130-4130 | initialPart BarleyGrain and BarleyGrass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10783-10783 | initialPart Bicep and Arm |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 21-21 | initialPart os and primate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10801-10801 | initialPart CalfMuscle and Leg |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2439-2439 | initialPart Chocolate and CocoaBean |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2492-2492 | initialPart CocoaButter and CocoaLiquor |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2484-2484 | initialPart CocoaSolid and CocoaLiquor |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4580-4580 | initialPart CoconutOil and Coconut |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 634-634 | initialPart Coffee and CoffeeBean |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1507-1507 | initialPart CommonWheatFlour and CommonWheatGrain |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1547-1547 | initialPart CornFlour and MaizeGrain |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12135-12135 | initialPart Cornea and Eye |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12505-12505 | initialPart DigitAppendage and Limb |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1517-1517 | initialPart DurumWheatFlour and DurumWheatGrain |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2547-2547 | initialPart EggYolk and Egg |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11673-11673 | initialPart Exoskeleton and animal |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1438-1438 | initialPart Eyebrow and Head |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 880-880 | initialPart FingerBone and Hand |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2311-2311 | initialPart FleshOrPulp and fruit ou v�g�tal |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1102-1102 | initialPart FoodBone and Foot |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10830-10830 | initialPart Forearm and Arm |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
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