| 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 1718-1720 | |
| (documentation attribute JapaneseLanguage "(attribute ?OBJECT ?PROPERTY) とは、 ?PROPERTY が、?OBJECTの Attribute という意味である。 例：(attribute MyLittleRedWagon Red)。") | japanese_format.kif 318-319 | |
| (domain attribute 1 Object) | Merge.kif 1715-1715 | |
| (domain attribute 2 Attribute) | Merge.kif 1716-1716 | |
| (instance attribute AsymmetricRelation) | Merge.kif 1710-1710 | |
| (instance attribute BinaryPredicate) | Merge.kif 1713-1713 | |
| (instance attribute IrreflexiveRelation) | Merge.kif 1711-1711 | |
| (instance attribute TotalValuedRelation) | Merge.kif 1712-1712 | |
| (subrelation attribute property) | Merge.kif 1714-1714 |
| appearance as argument number 2 |
|
|
| (disjointRelation manner attribute) | Merge.kif 1729-1729 | |
| (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 2527-2527 | |
| (subrelation color attribute) | Mid-level-ontology.kif 20946-20946 | |
| (subrelation creditRanking attribute) | FinancialOntology.kif 2518-2518 | |
| (subrelation developmentalForm attribute) | Merge.kif 14459-14459 | |
| (subrelation deviceState attribute) | Mid-level-ontology.kif 2342-2342 | |
| (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 167-167 | |
| (subrelation hostStatus attribute) | QoSontology.kif 2241-2241 | |
| 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 31855-31865 | |
| (<=> (attribute ?H LiteracyAttribute) (and (hasSkill Reading ?H) (hasSkill Writing ?H))) |
Mid-level-ontology.kif 16391-16395 | |
| (<=> (attribute ?I (BeliefGroupMemberFn ?BG)) (member ?I ?BG)) |
People.kif 676-678 | |
| (<=> (attribute ?INDIVIDUAL Agnostic) (member ?INDIVIDUAL Agnosticism)) |
People.kif 702-704 | |
| (<=> (attribute ?INDIVIDUAL AhmadiyyaMuslim) (member ?INDIVIDUAL AhmadiyyaSect)) |
People.kif 1348-1350 | |
| (<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL Anglicanism)) |
People.kif 1226-1228 | |
| (<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL ChurchOfEngland)) |
People.kif 1234-1236 | |
| (<=> (attribute ?INDIVIDUAL Atheist) (member ?INDIVIDUAL Atheism)) |
People.kif 720-722 | |
| (<=> (attribute ?INDIVIDUAL Bahai) (member ?INDIVIDUAL Bahaism)) |
People.kif 757-759 | |
| (<=> (attribute ?INDIVIDUAL Buddhist) (member ?INDIVIDUAL Buddhism)) |
People.kif 769-771 | |
| (<=> (attribute ?INDIVIDUAL Capitalist) (member ?INDIVIDUAL Capitalism)) |
Economy.kif 925-927 | |
| (<=> (attribute ?INDIVIDUAL Communism) (member ?INDIVIDUAL Communism)) |
Economy.kif 895-897 | |
| (<=> (attribute ?INDIVIDUAL Confucianist) (member ?INDIVIDUAL Confucianism)) |
People.kif 1307-1309 | |
| (<=> (attribute ?INDIVIDUAL DruzeMuslim) (member ?INDIVIDUAL DruzeSect)) |
People.kif 1362-1364 | |
| (<=> (attribute ?INDIVIDUAL EasternOrthodoxChristian) (member ?INDIVIDUAL EasternOrthodoxChristianity)) |
People.kif 1248-1250 | |
| (<=> (attribute ?INDIVIDUAL Hindu) (member ?INDIVIDUAL Hinduism)) |
People.kif 1319-1321 | |
| (<=> (attribute ?INDIVIDUAL Jain) (member ?INDIVIDUAL Jainism)) |
People.kif 1412-1414 | |
| (<=> (attribute ?INDIVIDUAL Muslim) (member ?INDIVIDUAL Islam)) |
People.kif 1331-1333 | |
| (<=> (attribute ?INDIVIDUAL Neopaganismist) (member ?INDIVIDUAL Neopaganism)) |
People.kif 1458-1460 | |
| (<=> (attribute ?INDIVIDUAL Protestant) (member ?INDIVIDUAL Protestantism)) |
People.kif 1262-1264 | |
| (<=> (attribute ?INDIVIDUAL ReligiousJew) (member ?INDIVIDUAL Judaism)) |
People.kif 1429-1431 | |
| (<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicChurch)) |
People.kif 1284-1286 | |
| (<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicism)) |
People.kif 1276-1278 | |
| (<=> (attribute ?INDIVIDUAL ShiaMuslim) (member ?INDIVIDUAL ShiiteSect)) |
People.kif 1378-1380 | |
| (<=> (attribute ?INDIVIDUAL Shintoist) (member ?INDIVIDUAL Shinto)) |
People.kif 1473-1475 | |
| 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 357-390 | |
| (<=> (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 403-436 | |
| (<=> (attribute ?Q Queen) (or (attribute ?Q QueenRegnant) (attribute ?Q QueenConsort))) |
Government.kif 1362-1366 | |
| (<=> (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 206-223 | |
| (<=> (hearingAcuity ?H (MeasureFn -10 Decibel) (MeasureFn 15 Decibel)) (attribute ?H NormalHearingSensitivity)) |
Medicine.kif 1776-1780 | |
| (<=> (hearingAcuity ?H (MeasureFn 16 Decibel) (MeasureFn 25 Decibel)) (attribute ?H BorderlineHearingSensitivity)) |
Medicine.kif 1787-1791 | |
| (<=> (hearingAcuity ?H (MeasureFn 26 Decibel) (MeasureFn 40 Decibel)) (attribute ?H MildHearingLoss)) |
Medicine.kif 1798-1802 | |
| (<=> (hearingAcuity ?H (MeasureFn 41 Decibel) (MeasureFn 55 Decibel)) (attribute ?H ModerateHearingLoss)) |
Medicine.kif 1808-1812 | |
| (<=> (hearingAcuity ?H (MeasureFn 56 Decibel) (MeasureFn 70 Decibel)) (attribute ?H ModeratelySevereHearingLoss)) |
Medicine.kif 1819-1823 | |
| (<=> (hearingAcuity ?H (MeasureFn 71 Decibel) (MeasureFn 90 Decibel)) (attribute ?H SevereHearingLoss)) |
Medicine.kif 1830-1834 | |
| (<=> (hearingAcuity ?H (MeasureFn 91 Decibel) (MeasureFn 200 Decibel)) (attribute ?H ProfoundHearingLoss)) |
Medicine.kif 1841-1845 | |
| (<=> (holdsDuring ?T (and (instance ?PERSON Human) (forall (?ORG) (not (employs ?ORG ?PERSON))))) (holdsDuring ?T (attribute ?PERSON Unemployed))) |
Merge.kif 17414-17422 | |
| (<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Female))) |
Mid-level-ontology.kif 21834-21838 | |
| (<=> (instance ?B Bull) (and (instance ?B Cattle) (attribute ?B Male))) |
Mid-level-ontology.kif 21852-21856 | |
| (<=> (instance ?C Calf) (and (instance ?C Cattle) (attribute ?C NonFullyFormed))) |
Mid-level-ontology.kif 21843-21847 | |
| (<=> (instance ?DV DamagedVehicle) (and (instance ?DV Vehicle) (attribute ?DV DeviceDamaged))) |
Mid-level-ontology.kif 31745-31749 | |
| (<=> (instance ?H Hen) (and (instance ?H Chicken) (attribute ?H Female))) |
Mid-level-ontology.kif 21866-21870 | |
| (<=> (instance ?ICE Ice) (and (instance ?ICE Water) (attribute ?ICE Solid))) |
Mid-level-ontology.kif 10203-10207 | |
| (<=> (instance ?L Lamb) (and (instance ?L Sheep) (attribute ?L NonFullyFormed))) |
Mid-level-ontology.kif 21820-21824 | |
| (<=> (instance ?R Rooster) (and (instance ?R Chicken) (attribute ?R Male))) |
Mid-level-ontology.kif 21875-21879 | |
| (=> (accommodationProvider ?PKG ?HOTEL) (attribute ?HOTEL TravelerAccommodation)) |
Hotel.kif 2779-2781 | |
| (=> (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 18259-18268 | |
| (=> (and (actedIn ?ACTOR ?O) (instance ?PERF DramaticActing) (patient ?PERF ?ACTOR) (result ?PERF ?O)) (holdsDuring (WhenFn ?PERF) (attribute ?ACTOR Actor))) |
Mid-level-ontology.kif 22394-22401 | |
| (=> (and (agent ?PROCESS ?AGENT) (result ?PROCESS ?WORK) (instance ?WORK ArtWork)) (holdsDuring (WhenFn ?PROCESS) (attribute ?AGENT Artist))) |
Mid-level-ontology.kif 20425-20431 | |
| (=> (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 456-469 | |
| (containsInformation (forall (?AGENT ?VOTER ?ELECTION ?VOTING) (=> (and (instance ?ELECTION (ElectionFn ?AGENT)) (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER)) (attribute ?VOTER Male))) ExclusiveMaleSuffrage) |
Government.kif 1203-1210 | |
| (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 930-939 | |
| (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 953-964 | |
| (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 991-1004 | |
| (exists (?H) (and (attribute ?H NewReporter) (employs ProPublica ?H))) |
Medicine.kif 4597-4600 | |
| (exists (?MEAL ?REGION) (attribute ?MEAL (MealAttributeFn ?MEAL ?REGION))) |
Food.kif 1908-1909 | |
| (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 22035-22035 | |
| (attribute SouthernOcean PolarClimateZone) | Geography.kif 4751-4751 | |
| (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