| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1714-1715 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1723-1725 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 318-319 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1720-1720 | Le nombre 1 argument de attribute est une instance de objet |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1721-1721 | Le nombre 2 argument de attribute est une instance de attribut |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1715-1715 | attribute est une instance de relation asym�trique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1718-1718 | attribute est une instance de pr�dicat binaire |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1716-1716 | attribute est une instance de relation irr�flexive |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1717-1717 | attribute est une instance de relation total |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1719-1719 | attribute est une sous-relation de property |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1734-1734 | manner et attribute sont disjoint |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 59-59 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 59-59 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 56-56 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1878-1878 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 8-8 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 73-73 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 65-65 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 73-73 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 75-75 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 55-55 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 63-63 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2510-2510 | bondRating est une sous-relation de attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19357-19357 | color est une sous-relation de attribute |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2501-2501 | creditRanking est une sous-relation de attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14343-14343 | developmentalForm est une sous-relation de attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1880-1880 | deviceState est une sous-relation de attribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 86-86 | economyType est une sous-relation de attribute |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 130-130 | governmentType est une sous-relation de attribute |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1882-1882 | hasGUEState est une sous-relation de attribute |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 163-163 | hasMolecularStructuralAttribute est une sous-relation de attribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2109-2109 | hostStatus est une sous-relation de attribute |
| 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. | Mid-level-ontology.kif 30166-30176 | Entit� est une instance de partie du corps Bare est un attribut de entit� pendant position temporel entit� entit� est une instance de v�tement covers entit� and entit� pendant position temporel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14999-15003 | LiteracyAttribute est un attribut de AutonomousAgent AutonomousAgent a la capacit� de faire lire AutonomousAgent a la capacit� de faire �crire |
| No TPTP formula. May not be expressible in strict first order. | People.kif 676-678 | BeliefGroupMemberFn BeliefGroup est un attribut de objet objet est un membre de BeliefGroup |
| No TPTP formula. May not be expressible in strict first order. | People.kif 702-704 | Agnostic est un attribut de objet objet est un membre de Agnosticism |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1347-1349 | AhmadiyyaMuslim est un attribut de objet objet est un membre de AhmadiyyaSect |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1225-1227 | Anglican est un attribut de objet objet est un membre de Anglicanism |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1233-1235 | Anglican est un attribut de objet objet est un membre de ChurchOfEngland |
| No TPTP formula. May not be expressible in strict first order. | People.kif 720-722 | Atheist est un attribut de objet objet est un membre de Atheism |
| No TPTP formula. May not be expressible in strict first order. | People.kif 757-759 | Bahai est un attribut de objet objet est un membre de Bahaism |
| No TPTP formula. May not be expressible in strict first order. | People.kif 769-771 | Buddhist est un attribut de objet objet est un membre de Buddhism |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1306-1308 | Confucianist est un attribut de objet objet est un membre de Confucianism |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1361-1363 | DruzeMuslim est un attribut de objet objet est un membre de DruzeSect |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1247-1249 | EasternOrthodoxChristian est un attribut de objet objet est un membre de EasternOrthodoxChristianity |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1318-1320 | Hindu est un attribut de objet objet est un membre de Hinduism |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1411-1413 | Jain est un attribut de objet objet est un membre de Jainism |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1330-1332 | Muslim est un attribut de objet objet est un membre de Islam |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1457-1459 | Neopaganismist est un attribut de objet objet est un membre de Neopaganism |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1261-1263 | Protestant est un attribut de objet objet est un membre de Protestantism |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1428-1430 | ReligiousJew est un attribut de objet objet est un membre de Judaism |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1283-1285 | RomanCatholic est un attribut de objet objet est un membre de RomanCatholicChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1275-1277 | RomanCatholic est un attribut de objet objet est un membre de RomanCatholicism |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1377-1379 | ShiaMuslim est un attribut de objet objet est un membre de ShiiteSect |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1472-1474 | Shintoist est un attribut de objet objet est un membre de Shinto |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1487-1489 | Sikh est un attribut de objet objet est un membre de Sikhism |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1396-1398 | SunniMuslim est un attribut de objet objet est un membre de SunniSect |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 357-390 | Ann�e est une instance de l' ann�e ann�eEAR MaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 403-436 | Ann�e est une instance de l' ann�e nombre entier FemaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1400-1404 | Queen est un attribut de objet QueenRegnant est un attribut de objet QueenConsort est un attribut de objet |
| 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. | Medicine.kif 1783-1787 | hearingAcuity humain, -10 Decibel(s) and 15 Decibel(s) NormalHearingSensitivity est un attribut de humain |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1794-1798 | hearingAcuity humain, 16 Decibel(s) and 25 Decibel(s) BorderlineHearingSensitivity est un attribut de humain |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1805-1809 | hearingAcuity humain, 26 Decibel(s) and 40 Decibel(s) MildHearingLoss est un attribut de humain |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1815-1819 | hearingAcuity humain, 41 Decibel(s) and 55 Decibel(s) ModerateHearingLoss est un attribut de humain |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1826-1830 | hearingAcuity humain, 56 Decibel(s) and 70 Decibel(s) ModeratelySevereHearingLoss est un attribut de humain |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1837-1841 | hearingAcuity humain, 71 Decibel(s) and 90 Decibel(s) SevereHearingLoss est un attribut de humain |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1848-1852 | hearingAcuity humain, 91 Decibel(s) and 200 Decibel(s) ProfoundHearingLoss est un attribut de humain |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17276-17284 | Entit� est une instance de humain entit� entit� n' emploie %n{pas} entit� pendant position temporel Unemployed est un attribut de entit� pendant position temporel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20199-20203 | Objet est une instance de Bull objet est une instance de Cattle Female est un attribut de objet |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20217-20221 | Objet est une instance de Bull objet est une instance de Cattle Male est un attribut de objet |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20208-20212 | Objet est une instance de Calf objet est une instance de Cattle NonFullyFormed est un attribut de objet |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30082-30086 | Objet est une instance de DamagedVehicle objet est une instance de Vehicle DeviceDamaged est un attribut de objet |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20231-20235 | Objet est une instance de Hen objet est une instance de Chicken Female est un attribut de objet |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8978-8982 | Objet est une instance de Ice objet est une instance de eau Solid est un attribut de objet |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20185-20189 | Objet est une instance de Lamb objet est une instance de Sheep NonFullyFormed est un attribut de objet |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20240-20244 | Objet est une instance de Rooster objet est une instance de Chicken Male est un attribut de objet |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2768-2770 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16851-16860 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20759-20766 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18836-18842 |
|
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 204-223 |
|
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| 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. | Government.kif 1241-1248 | ?AGENT ?VOTER, ?ELECTION and ?VOTING
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 921-929 | biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentAntidote ?AGENT, ?SUBSTANCE and ?PROCESS ?SAMPLE est une instance de ?SUBSTANCE ?THERAPY est une instance de ?PROCESS ?ORGANISM exp�rimente ?THERAPY ?SAMPLE est un patient de ?THERAPY diminue la probabilit� de ?SYMPTOM est un attribut de ?ORGANISM |
| 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. | Military.kif 933-946 | ReachingMilitaryAgeAnnuallyMaleFn 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. | Medicine.kif 4590-4593 | Agent cognitif NewReporter est un attribut de agent cognitif ProPublica emploie agent cognitif |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1902-1903 | Meal r�gion MealAttributeFn Meal and r�gion est un attribut de Meal |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 767-773 | biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentDelivery ?AGENT and ?PROCESSTYPE ?PROCESS est une instance de ?PROCESSTYPE ?ORGANISM exp�rimente ?PROCESS augmente la probabilit� de ?SYMPTOM est un attribut de ?ORGANISM |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20400-20400 | Fodder est un attribut de Hay |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4681-4681 | PolarClimateZone est un attribut de SouthernOcean |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 15-15 | Attribut relationnel est un attribut de Tourniquet |
|
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