attribute |
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 | attribute の数値 1 引数は オブジェクト の instance では %n |
(domain attribute 2 Attribute) | Merge.kif 1721-1721 | attribute の数値 2 引数は 属性 の instance では %n |
(instance attribute AsymmetricRelation) | Merge.kif 1715-1715 | attribute は 非対称関係 の instance では %n |
(instance attribute BinaryPredicate) | Merge.kif 1718-1718 | attribute は 2進述語 の instance では %n |
(instance attribute IrreflexiveRelation) | Merge.kif 1716-1716 | attribute は 非反射関係 の instance では %n |
(instance attribute TotalValuedRelation) | Merge.kif 1717-1717 | attribute は 合計値関係 の instance では %n |
(subrelation attribute property) | Merge.kif 1719-1719 | attribute は property の subrelation では %n |
appearance as argument number 2 |
![]() |
(disjointRelation manner attribute) | Merge.kif 1734-1734 | manner と attribute は disjoint では %n |
(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 | bondRating は attribute の subrelation では %n |
(subrelation color attribute) | Mid-level-ontology.kif 19307-19307 | color は attribute の subrelation では %n |
(subrelation creditRanking attribute) | FinancialOntology.kif 2501-2501 | creditRanking は attribute の subrelation では %n |
(subrelation developmentalForm attribute) | Merge.kif 14291-14291 | developmentalForm は attribute の subrelation では %n |
(subrelation deviceState attribute) | Mid-level-ontology.kif 1852-1852 | deviceState は attribute の subrelation では %n |
(subrelation economyType attribute) | Economy.kif 86-86 | economyType は attribute の subrelation では %n |
(subrelation governmentType attribute) | Government.kif 130-130 | governmentType は attribute の subrelation では %n |
(subrelation hasGUEState attribute) | ComputerInput.kif 1882-1882 | hasGUEState は attribute の subrelation では %n |
(subrelation hasMolecularStructuralAttribute attribute) | VirusProteinAndCellPart.kif 163-163 | hasMolecularStructuralAttribute は attribute の subrelation では %n |
(subrelation hostStatus attribute) | QoSontology.kif 2109-2109 | hostStatus は attribute の subrelation では %n |
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 | エンティティー は 体の部分 の instance では %n Bare は エンティティー の attribute では %n は 時間位置 の during holds %n{ない} エンティティー エンティティー は 衣類 の instance では %n covers エンティティー and エンティティー は 時間位置 の during holds %n{ない} |
(<=> (attribute ?H LiteracyAttribute) (and (hasSkill Reading ?H) (hasSkill Writing ?H))) |
Mid-level-ontology.kif 14972-14976 | LiteracyAttribute は AutonomousAgent の attribute では %n AutonomousAgent は 読み をする skill が %n{ない} AutonomousAgent は 執筆 をする skill が %n{ない} |
(<=> (attribute ?I (BeliefGroupMemberFn ?BG)) (member ?I ?BG)) |
People.kif 702-704 | BeliefGroupMemberFn BeliefGroup は オブジェクト の attribute では %n オブジェクト は BeliefGroup の member では %n |
(<=> (attribute ?INDIVIDUAL Agnostic) (member ?INDIVIDUAL Agnosticism)) |
People.kif 728-730 | Agnostic は オブジェクト の attribute では %n オブジェクト は Agnosticism の member では %n |
(<=> (attribute ?INDIVIDUAL AhmadiyyaMuslim) (member ?INDIVIDUAL AhmadiyyaSect)) |
People.kif 1373-1375 | AhmadiyyaMuslim は オブジェクト の attribute では %n オブジェクト は AhmadiyyaSect の member では %n |
(<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL Anglicanism)) |
People.kif 1251-1253 | Anglican は オブジェクト の attribute では %n オブジェクト は Anglicanism の member では %n |
(<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL ChurchOfEngland)) |
People.kif 1259-1261 | Anglican は オブジェクト の attribute では %n オブジェクト は ChurchOfEngland の member では %n |
(<=> (attribute ?INDIVIDUAL Atheist) (member ?INDIVIDUAL Atheism)) |
People.kif 746-748 | Atheist は オブジェクト の attribute では %n オブジェクト は Atheism の member では %n |
(<=> (attribute ?INDIVIDUAL Bahai) (member ?INDIVIDUAL Bahaism)) |
People.kif 783-785 | Bahai は オブジェクト の attribute では %n オブジェクト は Bahaism の member では %n |
(<=> (attribute ?INDIVIDUAL Buddhist) (member ?INDIVIDUAL Buddhism)) |
People.kif 795-797 | Buddhist は オブジェクト の attribute では %n オブジェクト は Buddhism の member では %n |
(<=> (attribute ?INDIVIDUAL Confucianist) (member ?INDIVIDUAL Confucianism)) |
People.kif 1332-1334 | Confucianist は オブジェクト の attribute では %n オブジェクト は Confucianism の member では %n |
(<=> (attribute ?INDIVIDUAL DruzeMuslim) (member ?INDIVIDUAL DruzeSect)) |
People.kif 1387-1389 | DruzeMuslim は オブジェクト の attribute では %n オブジェクト は DruzeSect の member では %n |
(<=> (attribute ?INDIVIDUAL EasternOrthodoxChristian) (member ?INDIVIDUAL EasternOrthodoxChristianity)) |
People.kif 1273-1275 | EasternOrthodoxChristian は オブジェクト の attribute では %n オブジェクト は EasternOrthodoxChristianity の member では %n |
(<=> (attribute ?INDIVIDUAL Hindu) (member ?INDIVIDUAL Hinduism)) |
People.kif 1344-1346 | Hindu は オブジェクト の attribute では %n オブジェクト は Hinduism の member では %n |
(<=> (attribute ?INDIVIDUAL Jain) (member ?INDIVIDUAL Jainism)) |
People.kif 1437-1439 | Jain は オブジェクト の attribute では %n オブジェクト は Jainism の member では %n |
(<=> (attribute ?INDIVIDUAL Muslim) (member ?INDIVIDUAL Islam)) |
People.kif 1356-1358 | Muslim は オブジェクト の attribute では %n オブジェクト は Islam の member では %n |
(<=> (attribute ?INDIVIDUAL Neopaganismist) (member ?INDIVIDUAL Neopaganism)) |
People.kif 1483-1485 | Neopaganismist は オブジェクト の attribute では %n オブジェクト は Neopaganism の member では %n |
(<=> (attribute ?INDIVIDUAL Protestant) (member ?INDIVIDUAL Protestantism)) |
People.kif 1287-1289 | Protestant は オブジェクト の attribute では %n オブジェクト は Protestantism の member では %n |
(<=> (attribute ?INDIVIDUAL ReligiousJew) (member ?INDIVIDUAL Judaism)) |
People.kif 1454-1456 | ReligiousJew は オブジェクト の attribute では %n オブジェクト は Judaism の member では %n |
(<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicChurch)) |
People.kif 1309-1311 | RomanCatholic は オブジェクト の attribute では %n オブジェクト は RomanCatholicChurch の member では %n |
(<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicism)) |
People.kif 1301-1303 | RomanCatholic は オブジェクト の attribute では %n オブジェクト は RomanCatholicism の member では %n |
(<=> (attribute ?INDIVIDUAL ShiaMuslim) (member ?INDIVIDUAL ShiiteSect)) |
People.kif 1403-1405 | ShiaMuslim は オブジェクト の attribute では %n オブジェクト は ShiiteSect の member では %n |
(<=> (attribute ?INDIVIDUAL Shintoist) (member ?INDIVIDUAL Shinto)) |
People.kif 1498-1500 | Shintoist は オブジェクト の attribute では %n オブジェクト は Shinto の member では %n |
(<=> (attribute ?INDIVIDUAL Sikh) (member ?INDIVIDUAL Sikhism)) |
People.kif 1513-1515 | Sikh は オブジェクト の attribute では %n オブジェクト は Sikhism の member では %n |
(<=> (attribute ?INDIVIDUAL SunniMuslim) (member ?INDIVIDUAL SunniSect)) |
People.kif 1422-1424 | SunniMuslim は オブジェクト の attribute では %n オブジェクト は SunniSect の member では %n |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
![]() |
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 | 年 は 整数 year 目 の instance では %n ChildrenBornPerWomanFn 地政学的地域 and 年 は エンティティー class の instances の数 と equal では %n |
(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 | ?AGENT ?VOTER, ?ELECTION and ?VOTING
|
(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 | biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentAntidote ?AGENT, ?SUBSTANCE and ?PROCESS ?SAMPLE は ?SUBSTANCE の instance では %n ?THERAPY は ?PROCESS の instance では %n ?ORGANISM が ?THERAPY を experiences %n{ない} ?SAMPLE は ?THERAPY の patient では %n は ?SYMPTOM は ?ORGANISM の attribute では %n を decreases 可能性がある |
(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 | AvailableForMilitaryServiceMaleFn 地政学的地域 は エンティティー class の instances の数 と equal では %n |
(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 | FitForMilitaryServiceMaleFn 地政学的地域 は エンティティー class の instances の数 と equal では %n |
(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 | ReachingMilitaryAgeAnnuallyMaleFn 地政学的地域 and 年 は エンティティー class の instances の数 と equal では %n |
(exists (?H) (and (attribute ?H NewReporter) (employs ProPublica ?H))) |
Medicine.kif 4590-4593 | 認識エージェント NewReporter は 認識エージェント の attribute では %n ProPublica は 認識エージェント を employs %n{ない} |
(exists (?MEAL ?REGION) (attribute ?MEAL (MealAttributeFn ?MEAL ?REGION))) |
Food.kif 1902-1903 | Meal 地域 MealAttributeFn Meal and 地域 は Meal の attribute では %n |
(increasesLikelihood (and (biochemicalAgentSyndrome ?AGENT ?SYMPTOM) (biochemicalAgentDelivery ?AGENT ?PROCESSTYPE) (instance ?PROCESS ?PROCESSTYPE) (experiencer ?PROCESS ?ORGANISM)) (attribute ?ORGANISM ?SYMPTOM)) |
WMD.kif 767-773 | biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentDelivery ?AGENT and ?PROCESSTYPE ?PROCESS は ?PROCESSTYPE の instance では %n ?ORGANISM が ?PROCESS を experiences %n{ない} は ?SYMPTOM は ?ORGANISM の attribute では %n の 可能性を increases %n{ない} |
appearance as argument number 0 |
![]() |
(attribute Hay Fodder) | Mid-level-ontology.kif 20350-20350 | Fodder は Hay の attribute では %n |
(attribute SouthernOcean PolarClimateZone) | Geography.kif 4659-4659 | PolarClimateZone は SouthernOcean の attribute では %n |
(attribute Tourniquet RelationalAttribute) | Medicine.kif 15-15 | 関係属性 は Tourniquet の attribute では %n |
![]() |
![]() |