| appearance as argument number 1 |
|
| (documentation attribute ChineseLanguage "(attribute ?OBJECT ?PROPERTY) 的意思是 ?PROPERTY 是 ?OBJECT 的 Attribute。例如：(attribute MyLittleRedWagon Red)。") | chinese_format.kif 1714-1715 | |
| (documentation attribute EnglishLanguage "(attribute ?OBJECT ?PROPERTY) means that ?PROPERTY is a Attribute of ?OBJECT. For example, (attribute MyLittleRedWagon Red).") | Merge.kif 1723-1725 | |
| (documentation attribute JapaneseLanguage "(attribute ?OBJECT ?PROPERTY) とは、 ?PROPERTY が、?OBJECTの Attribute という意味である。 例：(attribute MyLittleRedWagon Red)。") | japanese_format.kif 318-319 | |
| (domain attribute 1 Object) | Merge.kif 1720-1720 | |
| (domain attribute 2 Attribute) | Merge.kif 1721-1721 | |
| (instance attribute AsymmetricRelation) | Merge.kif 1715-1715 | |
| (instance attribute BinaryPredicate) | Merge.kif 1718-1718 | |
| (instance attribute IrreflexiveRelation) | Merge.kif 1716-1716 | |
| (instance attribute TotalValuedRelation) | Merge.kif 1717-1717 | |
| (subrelation attribute property) | Merge.kif 1719-1719 |
| appearance as argument number 2 |
|
|
| (disjointRelation manner attribute) | Merge.kif 1734-1734 | |
| (format ChineseLanguage attribute "%2 %n 是 %1 的 attribute") | chinese_format.kif 59-59 | |
| (format EnglishLanguage attribute "%2 is %n an attribute of %1") | english_format.kif 59-59 | |
| (format FrenchLanguage attribute "%2 est %n un attribut de %1") | french_format.kif 56-56 | |
| (format JapaneseLanguage attribute "%2 は %1 の attribute では %n") | japanese_format.kif 1878-1878 | |
| (format PortugueseLanguage attribute "%2 e' %n um atributo de %1") | portuguese_format.kif 8-8 | |
| (format cz attribute "%2 %p{je} %n{nen�} atributem %1") | relations-cz.txt 73-73 | |
| (format de attribute "%2 ist ein attribut von %1 %n{nicht}") | relations-de.txt 65-65 | |
| (format hi attribute "%1 kii eka visheshhataa %2 %n hai") | relations-hindi.txt 73-73 | |
| (format ro attribute "%2 %n{nu} este un attribute%t{atribut} pentru %1") | relations-ro.kif 75-75 | |
| (format sv attribute "%2 är %n{inte} ett attribut på %1") | relations-sv.txt 55-55 | |
| (format tg attribute "%1 %n may katangian ng %2") | relations-cb.txt 63-63 | |
| (subrelation bondRating attribute) | FinancialOntology.kif 2510-2510 | |
| (subrelation color attribute) | Mid-level-ontology.kif 19307-19307 | |
| (subrelation creditRanking attribute) | FinancialOntology.kif 2501-2501 | |
| (subrelation developmentalForm attribute) | Merge.kif 14291-14291 | |
| (subrelation deviceState attribute) | Mid-level-ontology.kif 1852-1852 | |
| (subrelation economyType attribute) | Economy.kif 86-86 | |
| (subrelation governmentType attribute) | Government.kif 130-130 | |
| (subrelation hasGUEState attribute) | ComputerInput.kif 1882-1882 | |
| (subrelation hasMolecularStructuralAttribute attribute) | VirusProteinAndCellPart.kif 163-163 | |
| (subrelation hostStatus attribute) | QoSontology.kif 2109-2109 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| (<=> (and (instance ?B BodyPart) (holdsDuring ?T (attribute ?B Bare))) (holdsDuring ?T (not (exists (?C) (and (instance ?C Clothing) (covers ?C ?B)))))) |
Mid-level-ontology.kif 30095-30105 | |
| (<=> (attribute ?H LiteracyAttribute) (and (hasSkill Reading ?H) (hasSkill Writing ?H))) |
Mid-level-ontology.kif 14972-14976 | |
| (<=> (attribute ?I (BeliefGroupMemberFn ?BG)) (member ?I ?BG)) |
People.kif 702-704 | |
| (<=> (attribute ?INDIVIDUAL Agnostic) (member ?INDIVIDUAL Agnosticism)) |
People.kif 728-730 | |
| (<=> (attribute ?INDIVIDUAL AhmadiyyaMuslim) (member ?INDIVIDUAL AhmadiyyaSect)) |
People.kif 1373-1375 | |
| (<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL Anglicanism)) |
People.kif 1251-1253 | |
| (<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL ChurchOfEngland)) |
People.kif 1259-1261 | |
| (<=> (attribute ?INDIVIDUAL Atheist) (member ?INDIVIDUAL Atheism)) |
People.kif 746-748 | |
| (<=> (attribute ?INDIVIDUAL Bahai) (member ?INDIVIDUAL Bahaism)) |
People.kif 783-785 | |
| (<=> (attribute ?INDIVIDUAL Buddhist) (member ?INDIVIDUAL Buddhism)) |
People.kif 795-797 | |
| (<=> (attribute ?INDIVIDUAL Confucianist) (member ?INDIVIDUAL Confucianism)) |
People.kif 1332-1334 | |
| (<=> (attribute ?INDIVIDUAL DruzeMuslim) (member ?INDIVIDUAL DruzeSect)) |
People.kif 1387-1389 | |
| (<=> (attribute ?INDIVIDUAL EasternOrthodoxChristian) (member ?INDIVIDUAL EasternOrthodoxChristianity)) |
People.kif 1273-1275 | |
| (<=> (attribute ?INDIVIDUAL Hindu) (member ?INDIVIDUAL Hinduism)) |
People.kif 1344-1346 | |
| (<=> (attribute ?INDIVIDUAL Jain) (member ?INDIVIDUAL Jainism)) |
People.kif 1437-1439 | |
| (<=> (attribute ?INDIVIDUAL Muslim) (member ?INDIVIDUAL Islam)) |
People.kif 1356-1358 | |
| (<=> (attribute ?INDIVIDUAL Neopaganismist) (member ?INDIVIDUAL Neopaganism)) |
People.kif 1483-1485 | |
| (<=> (attribute ?INDIVIDUAL Protestant) (member ?INDIVIDUAL Protestantism)) |
People.kif 1287-1289 | |
| (<=> (attribute ?INDIVIDUAL ReligiousJew) (member ?INDIVIDUAL Judaism)) |
People.kif 1454-1456 | |
| (<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicChurch)) |
People.kif 1309-1311 | |
| (<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicism)) |
People.kif 1301-1303 | |
| (<=> (attribute ?INDIVIDUAL ShiaMuslim) (member ?INDIVIDUAL ShiiteSect)) |
People.kif 1403-1405 | |
| (<=> (attribute ?INDIVIDUAL Shintoist) (member ?INDIVIDUAL Shinto)) |
People.kif 1498-1500 | |
| (<=> (attribute ?INDIVIDUAL Sikh) (member ?INDIVIDUAL Sikhism)) |
People.kif 1513-1515 | |
| (<=> (attribute ?INDIVIDUAL SunniMuslim) (member ?INDIVIDUAL SunniSect)) |
People.kif 1422-1424 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| (<=> (and (instance ?Y (YearFn ?YEAR)) (equal (MaleLifeExpectancyAtBirthFn ?AREA ?Y) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Male) (during (WhenFn ?BIRTH) ?Y) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER)))) |
People.kif 383-416 | |
| (<=> (and (instance ?YEAR (YearFn ?Y)) (equal (FemaleLifeExpectancyAtBirthFn ?AREA ?YEAR) ?REALNUMBER)) (exists (?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH) (and (instance ?LIST List) (instance (ListLengthFn ?LIST) ?COUNT) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (and (instance ?LISTITEM ?LIFEEXPECTANCYAGE) (not (exists (?NUMBER) (and (instance ?NUMBER ?LIFEEXPECTANCYAGE) (not (inList ?NUMBER ?LIST))))) (equal ?COUNT (CardinalityFn (KappaFn ?LIFEEXPECTANCYAGE (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INDIVIDUAL) (instance ?INDIVIDUAL Human) (attribute ?INDIVIDUAL Female) (during (WhenFn ?BIRTH) ?YEAR) (equal (WhereFn ?BIRTH (WhenFn ?BIRTH)) ?AREA) (instance ?DEATH Death) (experiencer ?DEATH ?INDIVIDUAL) (holdsDuring (WhenFn ?DEATH) (age ?INDIVIDUAL (MeasureFn ?LIFEEXPECTANCYAGE YearDuration)))))))))) (average ?LIST ?REALNUMBER)))) |
People.kif 429-462 | |
| (<=> (attribute ?Q Queen) (or (attribute ?Q QueenRegnant) (attribute ?Q QueenConsort))) |
Government.kif 1400-1404 | |
| (<=> (equal (MaleToFemaleRatioFn ?AREA) ?REALNUMBER) (and (equal ?MALECOUNT (CardinalityFn (KappaFn ?MALE (and (instance ?MALE Human) (attribute ?MALE Male) (inhabits ?MALE ?AREA))))) (equal ?FEMALECOUNT (CardinalityFn (KappaFn ?FEMALE (and (instance ?FEMALE Human) (attribute ?FEMALE Female) (inhabits ?FEMALE ?AREA))))) (equal (DivisionFn ?MALECOUNT ?FEMALECOUNT) ?REALNUMBER))) |
People.kif 232-249 | |
| (<=> (hearingAcuity ?H (MeasureFn -10 Decibel) (MeasureFn 15 Decibel)) (attribute ?H NormalHearingSensitivity)) |
Medicine.kif 1783-1787 | |
| (<=> (hearingAcuity ?H (MeasureFn 16 Decibel) (MeasureFn 25 Decibel)) (attribute ?H BorderlineHearingSensitivity)) |
Medicine.kif 1794-1798 | |
| (<=> (hearingAcuity ?H (MeasureFn 26 Decibel) (MeasureFn 40 Decibel)) (attribute ?H MildHearingLoss)) |
Medicine.kif 1805-1809 | |
| (<=> (hearingAcuity ?H (MeasureFn 41 Decibel) (MeasureFn 55 Decibel)) (attribute ?H ModerateHearingLoss)) |
Medicine.kif 1815-1819 | |
| (<=> (hearingAcuity ?H (MeasureFn 56 Decibel) (MeasureFn 70 Decibel)) (attribute ?H ModeratelySevereHearingLoss)) |
Medicine.kif 1826-1830 | |
| (<=> (hearingAcuity ?H (MeasureFn 71 Decibel) (MeasureFn 90 Decibel)) (attribute ?H SevereHearingLoss)) |
Medicine.kif 1837-1841 | |
| (<=> (hearingAcuity ?H (MeasureFn 91 Decibel) (MeasureFn 200 Decibel)) (attribute ?H ProfoundHearingLoss)) |
Medicine.kif 1848-1852 | |
| (<=> (holdsDuring ?T (and (instance ?PERSON Human) (forall (?ORG) (not (employs ?ORG ?PERSON))))) (holdsDuring ?T (attribute ?PERSON Unemployed))) |
Merge.kif 17224-17232 | |
| (<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Female))) |
Mid-level-ontology.kif 20149-20153 | |
| (<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Male))) |
Mid-level-ontology.kif 20167-20171 | |
| (<=> (instance ?C Calf) (and (instance ?C Cattle) (attribute ?C NonFullyFormed))) |
Mid-level-ontology.kif 20158-20162 | |
| (<=> (instance ?DV DamagedVehicle) (and (instance ?DV Vehicle) (attribute ?DV DeviceDamaged))) |
Mid-level-ontology.kif 30011-30015 | |
| (<=> (instance ?H Hen) (and (instance ?H Chicken) (attribute ?H Female))) |
Mid-level-ontology.kif 20181-20185 | |
| (<=> (instance ?ICE Ice) (and (instance ?ICE Water) (attribute ?ICE Solid))) |
Mid-level-ontology.kif 8951-8955 | |
| (<=> (instance ?L Lamb) (and (instance ?L Sheep) (attribute ?L NonFullyFormed))) |
Mid-level-ontology.kif 20135-20139 | |
| (<=> (instance ?R Rooster) (and (instance ?R Chicken) (attribute ?R Male))) |
Mid-level-ontology.kif 20190-20194 | |
| (=> (accommodationProvider ?PKG ?HOTEL) (attribute ?HOTEL TravelerAccommodation)) |
Hotel.kif 2768-2770 | |
| (=> (almaMater ?PERSON ?SCHOOL) (exists (?EV) (and (instance ?EV EducationalProcess) (destination ?EV ?PERSON) (eventLocated ?EV ?SCHOOL) (holdsDuring (WhenFn ?EV) (attribute ?PERSON Student))))) |
Mid-level-ontology.kif 16824-16833 | |
| (=> (and (actedIn ?ACTOR ?O) (instance ?PERF DramaticActing) (patient ?PERF ?ACTOR) (result ?PERF ?O)) (holdsDuring (WhenFn ?PERF) (attribute ?ACTOR Actor))) |
Mid-level-ontology.kif 20709-20716 | |
| (=> (and (agent ?PROCESS ?AGENT) (result ?PROCESS ?WORK) (instance ?WORK ArtWork)) (holdsDuring (WhenFn ?PROCESS) (attribute ?AGENT Artist))) |
Mid-level-ontology.kif 18786-18792 | |
| (=> (and (attribute ?H Muslim) (equal (WealthFn ?H) ?W)) (modalAttribute (exists (?Z ?T ?U ?Y ?C) (and (instance ?Z Zakat) (instance ?Y Year) (during ?Y (WhenFn ?H)) (holdsDuring ?Y (attribute ?H FullyFormed)) (agent ?Z ?H) (patient ?Z ?T) (monetaryValue ?T (MeasureFn ?C ?U)) (instance ?U UnitOfCurrency) (greaterThan ?C (MultiplicationFn ?W 0.025)))) Obligation)) |
ArabicCulture.kif 204-223 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| statement |
|
|
| (and (instance ?YEAR (YearFn ?Y)) (equal (ChildrenBornPerWomanFn ?AREA ?YEAR) (CardinalityFn (KappaFn ?INFANT (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?INFANT) (agent ?BIRTH ?WOMAN) (instance ?WOMAN Human) (attribute ?WOMAN Female) (holdsDuring ?YEAR (inhabits ?WOMAN ?AREA))))))) |
People.kif 482-495 | |
| (containsInformation (forall (?AGENT ?VOTER ?ELECTION ?VOTING) (=> (and (instance ?ELECTION (ElectionFn ?AGENT)) (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER)) (attribute ?VOTER Male))) ExclusiveMaleSuffrage) |
Government.kif 1241-1248 | |
| (decreasesLikelihood (and (biochemicalAgentSyndrome ?AGENT ?SYMPTOM) (biochemicalAgentAntidote ?AGENT ?SUBSTANCE ?PROCESS) (instance ?SAMPLE ?SUBSTANCE) (instance ?THERAPY ?PROCESS) (experiencer ?THERAPY ?ORGANISM) (patient ?THERAPY ?SAMPLE)) (attribute ?ORGANISM ?SYMPTOM)) |
WMD.kif 921-929 | |
| (equal (AvailableForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 872-881 | |
| (equal (FitForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (subclass ?PROCESS MilitaryProcess) (fitForMilitaryService ?PERSON ?PROCESS) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 895-906 | |
| (equal (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (militaryAge ?AREA ?MILITARYAGE) (equal ?AGEMINUSONE (SubtractionFn ?AGE 1)) (holdsDuring ?YEAR (or (age ?PERSON ?AGEMINUSONE) (age ?PERSON ?AGE))) (equal ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA))))) |
Military.kif 933-946 | |
| (exists (?H) (and (attribute ?H NewReporter) (employs ProPublica ?H))) |
Medicine.kif 4590-4593 | |
| (exists (?MEAL ?REGION) (attribute ?MEAL (MealAttributeFn ?MEAL ?REGION))) |
Food.kif 1902-1903 | |
| (increasesLikelihood (and (biochemicalAgentSyndrome ?AGENT ?SYMPTOM) (biochemicalAgentDelivery ?AGENT ?PROCESSTYPE) (instance ?PROCESS ?PROCESSTYPE) (experiencer ?PROCESS ?ORGANISM)) (attribute ?ORGANISM ?SYMPTOM)) |
WMD.kif 767-773 |
| appearance as argument number 0 |
|
|
| (attribute Hay Fodder) | Mid-level-ontology.kif 20350-20350 | |
| (attribute SouthernOcean PolarClimateZone) | Geography.kif 4659-4659 | |
| (attribute Tourniquet RelationalAttribute) | Medicine.kif 15-15 |
|
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