| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3373-3374 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14394-14396 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14392-14392 | Le nombre 1 argument de inhabits est une instance de organisme |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14393-14393 | Le nombre 2 argument de inhabits est une instance de objet |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14391-14391 | inhabits est une instance de relation asym�trique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14390-14390 | inhabits est une instance de pr�dicat binaire |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 521-521 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 526-526 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 308-308 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 143-143 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2076-2076 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 260-260 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 314-314 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 677-677 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 182-182 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 329-329 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 336-336 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 290-290 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14406-14406 | home est une sous-relation de inhabits |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14413-14413 | stays est une sous-relation de inhabits |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 522-522 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30073-30073 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30072-30072 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30071-30071 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 291-291 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 26-47 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14494-14498 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14453-14457 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14506-14510 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 70-78 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 92-99 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14398-14404 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 156-187 | Ann�e est une instance de l' ann�e nombre entier MigrantsPerThousandFn secteur g�opolitique and ann�e est nombre r�el ( nombre entier + nombre entier) est entit� est une instance de l' ann�e nombre entier PopulationFn secteur g�opolitique est nombre r�el pendant ann�e nombre r�el + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier est instances dans la classe d�crite par cha�ne sympbolique ( nombre entier + nombre entier) est nombre r�el nombre r�el + nombre r�el est nombre r�el |
| No TPTP formula. May not be expressible in strict first order. | People.kif 206-223 | MaleToFemaleRatioFn secteur g�opolitique est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre entier est nombre r�el |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30108-30115 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30092-30100 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 26-47 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25034-25043 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17351-17367 |
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1928-1937 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30376-30383 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14440-14445 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6042-6046 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15765-15775 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14595-14600 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30624-30631 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6996-7003 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6279-6281 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 456-469 | Ann�e est une instance de l' ann�e nombre entier ChildrenBornPerWomanFn secteur g�opolitique and ann�e est instances dans la classe d�crite par cha�ne sympbolique |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 872-881 | AvailableForMilitaryServiceMaleFn secteur g�opolitique est instances dans la classe d�crite par cha�ne sympbolique |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 895-906 | FitForMilitaryServiceMaleFn secteur g�opolitique est instances dans la classe d�crite par cha�ne sympbolique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31708-31713 | PopulationFn secteur g�opolitique est instances dans la classe d�crite par cha�ne sympbolique |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 933-946 | ReachingMilitaryAgeAnnuallyMaleFn secteur g�opolitique and ann�e est instances dans la classe d�crite par cha�ne sympbolique |
|
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