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 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 | attribute の数値 1 引数は オブジェクト の instance では %n |
(domain attribute 2 Attribute) | Merge.kif 1716-1716 | attribute の数値 2 引数は 属性 の instance では %n |
(instance attribute AsymmetricRelation) | Merge.kif 1710-1710 | attribute は 非対称関係 の instance では %n |
(instance attribute BinaryPredicate) | Merge.kif 1713-1713 | attribute は 2進述語 の instance では %n |
(instance attribute IrreflexiveRelation) | Merge.kif 1711-1711 | attribute は 非反射関係 の instance では %n |
(instance attribute TotalValuedRelation) | Merge.kif 1712-1712 | attribute は 合計値関係 の instance では %n |
(subrelation attribute property) | Merge.kif 1714-1714 | attribute は property の subrelation では %n |
appearance as argument number 2 |
![]() |
(disjointRelation manner attribute) | Merge.kif 1729-1729 | manner と attribute は disjoint では %n |
(format ChineseLanguage attribute "%2 %n 是 %1 的 attribute") | chinese_format.kif 59-59 | manner と attribute は disjoint では %n |
(format EnglishLanguage attribute "%2 is %n an attribute of %1") | english_format.kif 59-59 | manner と attribute は disjoint では %n |
(format FrenchLanguage attribute "%2 est %n un attribut de %1") | french_format.kif 56-56 | manner と attribute は disjoint では %n |
(format JapaneseLanguage attribute "%2 は %1 の attribute では %n") | japanese_format.kif 1878-1878 | manner と attribute は disjoint では %n |
(format PortugueseLanguage attribute "%2 e' %n um atributo de %1") | portuguese_format.kif 8-8 | manner と attribute は disjoint では %n |
(format cz attribute "%2 %p{je} %n{nen�} atributem %1") | relations-cz.txt 73-73 | manner と attribute は disjoint では %n |
(format de attribute "%2 ist ein attribut von %1 %n{nicht}") | relations-de.txt 65-65 | manner と attribute は disjoint では %n |
(format hi attribute "%1 kii eka visheshhataa %2 %n hai") | relations-hindi.txt 73-73 | manner と attribute は disjoint では %n |
(format ro attribute "%2 %n{nu} este un attribute%t{atribut} pentru %1") | relations-ro.kif 75-75 | manner と attribute は disjoint では %n |
(format sv attribute "%2 är %n{inte} ett attribut på %1") | relations-sv.txt 55-55 | manner と attribute は disjoint では %n |
(format tg attribute "%1 %n may katangian ng %2") | relations-cb.txt 63-63 | manner と attribute は disjoint では %n |
(subrelation bondRating attribute) | FinancialOntology.kif 2527-2527 | bondRating は attribute の subrelation では %n |
(subrelation color attribute) | Mid-level-ontology.kif 20946-20946 | color は attribute の subrelation では %n |
(subrelation creditRanking attribute) | FinancialOntology.kif 2518-2518 | creditRanking は attribute の subrelation では %n |
(subrelation developmentalForm attribute) | Merge.kif 14459-14459 | developmentalForm は attribute の subrelation では %n |
(subrelation deviceState attribute) | Mid-level-ontology.kif 2342-2342 | 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 167-167 | hasMolecularStructuralAttribute は attribute の subrelation では %n |
(subrelation hostStatus attribute) | QoSontology.kif 2241-2241 | hostStatus は attribute の subrelation では %n |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
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 456-469 | 年 は 整数 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 1203-1210 | ?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 930-939 | 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 953-964 | 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 991-1004 | ReachingMilitaryAgeAnnuallyMaleFn 地政学的地域 and 年 は エンティティー class の instances の数 と equal では %n |
(exists (?H) (and (attribute ?H NewReporter) (employs ProPublica ?H))) |
Medicine.kif 4597-4600 | 認識エージェント NewReporter は 認識エージェント の attribute では %n ProPublica は 認識エージェント を employs %n{ない} |
(exists (?MEAL ?REGION) (attribute ?MEAL (MealAttributeFn ?MEAL ?REGION))) |
Food.kif 1908-1909 | 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 22035-22035 | Fodder は Hay の attribute では %n |
(attribute SouthernOcean PolarClimateZone) | Geography.kif 4751-4751 | PolarClimateZone は SouthernOcean の attribute では %n |
(attribute Tourniquet RelationalAttribute) | Medicine.kif 15-15 | 関係属性 は Tourniquet の attribute では %n |
![]() |
![]() |