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 1733-1735 | |
(documentation attribute JapaneseLanguage "(attribute ?OBJECT ?PROPERTY) とは、 ?PROPERTY が、?OBJECTの Attribute という意味である。 例:(attribute MyLittleRedWagon Red)。") | japanese_format.kif 318-319 | |
(domain attribute 1 Object) | Merge.kif 1730-1730 | 域 attribute, 1 and Object |
(domain attribute 2 Attribute) | Merge.kif 1731-1731 | 域 attribute, 2 and Attribute |
(instance attribute AsymmetricRelation) | Merge.kif 1725-1725 | 例 attribute and AsymmetricRelation |
(instance attribute BinaryPredicate) | Merge.kif 1728-1728 | 例 attribute and BinaryPredicate |
(instance attribute IrreflexiveRelation) | Merge.kif 1726-1726 | 例 attribute and IrreflexiveRelation |
(instance attribute TotalValuedRelation) | Merge.kif 1727-1727 | 例 attribute and TotalValuedRelation |
(subrelation attribute property) | Merge.kif 1729-1729 | 子關係 attribute and 屬性 |
appearance as argument number 2 |
![]() |
(disjointRelation manner attribute) | Merge.kif 1744-1744 | 不相交的關係 方式 and attribute |
(format ChineseLanguage attribute "%2 %n 是 %1 的 attribute") | chinese_format.kif 59-59 | 不相交的關係 方式 and attribute |
(format EnglishLanguage attribute "%2 is %n an attribute of %1") | english_format.kif 59-59 | 不相交的關係 方式 and attribute |
(format FrenchLanguage attribute "%2 est %n un attribut de %1") | french_format.kif 56-56 | 不相交的關係 方式 and attribute |
(format JapaneseLanguage attribute "%2 は %1 の attribute では %n") | japanese_format.kif 1878-1878 | 不相交的關係 方式 and attribute |
(format PortugueseLanguage attribute "%2 e' %n um atributo de %1") | portuguese_format.kif 8-8 | 不相交的關係 方式 and attribute |
(format cz attribute "%2 %p{je} %n{nen�} atributem %1") | relations-cz.txt 73-73 | 不相交的關係 方式 and attribute |
(format de attribute "%2 ist ein attribut von %1 %n{nicht}") | relations-de.txt 65-65 | 不相交的關係 方式 and attribute |
(format hi attribute "%1 kii eka visheshhataa %2 %n hai") | relations-hindi.txt 73-73 | 不相交的關係 方式 and attribute |
(format ro attribute "%2 %n{nu} este un attribute%t{atribut} pentru %1") | relations-ro.kif 75-75 | 不相交的關係 方式 and attribute |
(format sv attribute "%2 är %n{inte} ett attribut på %1") | relations-sv.txt 55-55 | 不相交的關係 方式 and attribute |
(format tg attribute "%1 %n may katangian ng %2") | relations-cb.txt 63-63 | 不相交的關係 方式 and attribute |
(subrelation bondRating attribute) | FinancialOntology.kif 2527-2527 | 子關係 債券評級 and attribute |
(subrelation color attribute) | Mid-level-ontology.kif 20929-20929 | 子關係 color and attribute |
(subrelation creditRanking attribute) | FinancialOntology.kif 2518-2518 | 子關係 信用評級 and attribute |
(subrelation developmentalForm attribute) | Merge.kif 14474-14474 | 子關係 發展形式 and attribute |
(subrelation deviceState attribute) | Mid-level-ontology.kif 2343-2343 | 子關係 設備狀態 and attribute |
(subrelation economyType attribute) | Economy.kif 86-86 | 子關係 經濟類型 and attribute |
(subrelation governmentType attribute) | Government.kif 130-130 | 子關係 政府類型 and attribute |
(subrelation hasGUEState attribute) | ComputerInput.kif 1882-1882 | 子關係 hasGUEState and attribute |
(subrelation hasMolecularStructuralAttribute attribute) | VirusProteinAndCellPart.kif 167-167 | 子關係 具有分子結構屬性 and attribute |
(subrelation hostStatus attribute) | QoSontology.kif 2241-2241 | 子關係 主持人身份 and attribute |
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 32096-32106 | 例 Entity and BodyPart 持有期間 TimePosition and attribute Entity and Bare 持有期間 TimePosition and entity 例 entity and Clothing covers entity and Entity |
(<=> (attribute ?H LiteracyAttribute) (and (hasSkill Reading ?H) (hasSkill Writing ?H))) |
Mid-level-ontology.kif 16373-16377 | attribute AutonomousAgent and 識字屬性 有技巧 Reading and AutonomousAgent 有技巧 Writing and AutonomousAgent |
(<=> (attribute ?I (BeliefGroupMemberFn ?BG)) (member ?I ?BG)) |
People.kif 676-678 | attribute Object and 信仰團體 的 member 會員 Object and 信仰團體 |
(<=> (attribute ?INDIVIDUAL Agnostic) (member ?INDIVIDUAL Agnosticism)) |
People.kif 702-704 | attribute Object and 不可知 會員 Object and 不可知論 |
(<=> (attribute ?INDIVIDUAL AhmadiyyaMuslim) (member ?INDIVIDUAL AhmadiyyaSect)) |
People.kif 1348-1350 | attribute Object and ahmadiyya穆斯林 會員 Object and ahmadiyya教派 |
(<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL Anglicanism)) |
People.kif 1226-1228 | attribute Object and 英國國教 會員 Object and 英國國教 |
(<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL ChurchOfEngland)) |
People.kif 1234-1236 | attribute Object and 英國國教 會員 Object and 英格蘭教堂 |
(<=> (attribute ?INDIVIDUAL Atheist) (member ?INDIVIDUAL Atheism)) |
People.kif 720-722 | attribute Object and 無神論者 會員 Object and 無神論 |
(<=> (attribute ?INDIVIDUAL Bahai) (member ?INDIVIDUAL Bahaism)) |
People.kif 757-759 | attribute Object and 巴哈 會員 Object and 巴哈主義 |
(<=> (attribute ?INDIVIDUAL Buddhist) (member ?INDIVIDUAL Buddhism)) |
People.kif 769-771 | attribute Object and 佛教徒 會員 Object and 佛教 |
(<=> (attribute ?INDIVIDUAL Capitalist) (member ?INDIVIDUAL Capitalism)) |
Economy.kif 925-927 | attribute Object and Capitalist 會員 Object and Capitalism |
(<=> (attribute ?INDIVIDUAL Communism) (member ?INDIVIDUAL Communism)) |
Economy.kif 895-897 | attribute Object and Communism 會員 Object and Communism |
(<=> (attribute ?INDIVIDUAL Confucianist) (member ?INDIVIDUAL Confucianism)) |
People.kif 1307-1309 | attribute Object and 儒 會員 Object and 儒 |
(<=> (attribute ?INDIVIDUAL DruzeMuslim) (member ?INDIVIDUAL DruzeSect)) |
People.kif 1362-1364 | attribute Object and 德魯茲穆斯林 會員 Object and 德魯茲教派 |
(<=> (attribute ?INDIVIDUAL EasternOrthodoxChristian) (member ?INDIVIDUAL EasternOrthodoxChristianity)) |
People.kif 1248-1250 | attribute Object and 東正教基督教 會員 Object and 東正教基督教 |
(<=> (attribute ?INDIVIDUAL Hindu) (member ?INDIVIDUAL Hinduism)) |
People.kif 1319-1321 | attribute Object and 印度教 會員 Object and 印度教 |
(<=> (attribute ?INDIVIDUAL Jain) (member ?INDIVIDUAL Jainism)) |
People.kif 1412-1414 | attribute Object and 耆那教 會員 Object and 耆那教 |
(<=> (attribute ?INDIVIDUAL Muslim) (member ?INDIVIDUAL Islam)) |
People.kif 1331-1333 | attribute Object and 穆斯林 會員 Object and 伊斯蘭教 |
(<=> (attribute ?INDIVIDUAL Neopaganismist) (member ?INDIVIDUAL Neopaganism)) |
People.kif 1458-1460 | attribute Object and neopaganismist 會員 Object and neopaganism |
(<=> (attribute ?INDIVIDUAL Protestant) (member ?INDIVIDUAL Protestantism)) |
People.kif 1262-1264 | attribute Object and 新教 會員 Object and 新教 |
(<=> (attribute ?INDIVIDUAL ReligiousJew) (member ?INDIVIDUAL Judaism)) |
People.kif 1429-1431 | attribute Object and 宗教的猶太人 會員 Object and 猶太教 |
(<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicChurch)) |
People.kif 1284-1286 | attribute Object and 羅馬天主教徒 會員 Object and 羅馬天主教會 |
(<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicism)) |
People.kif 1276-1278 | attribute Object and 羅馬天主教徒 會員 Object and 羅馬天主教 |
(<=> (attribute ?INDIVIDUAL ShiaMuslim) (member ?INDIVIDUAL ShiiteSect)) |
People.kif 1378-1380 | attribute Object and 什葉派穆斯林 會員 Object and 什葉派 |
(<=> (attribute ?INDIVIDUAL Shintoist) (member ?INDIVIDUAL Shinto)) |
People.kif 1473-1475 | attribute Object and 神道教 會員 Object and 神道 |
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 456-469 | 例 年 and 年 Integer equal GeopoliticalArea 和 年 每個女人生的 children and 基數 卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and SymbolicString agent entity and entity 例 entity and Human attribute entity and 女 持有期間 年 and 棲息 entity and GeopoliticalArea |
(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 | 降低可能性 ?SYMPTOM 是 ?AGENT 的 biochemical 病毒徵兆 ?AGENT biochemical 病毒解毒製劑 ?SUBSTANCE 對於 ?PROCESS 例 ?SAMPLE and ?SUBSTANCE 例 ?THERAPY and ?PROCESS 體驗者 ?THERAPY and ?ORGANISM 患者 ?THERAPY and ?SAMPLE and attribute ?ORGANISM and ?SYMPTOM |
(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 940-949 | equal GeopoliticalArea 的 available 軍事服務男性 and 基數 卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 entity 是 GeopoliticalArea 的 military 年紀 年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 SymbolicString and GeopoliticalArea |
(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 963-974 | equal GeopoliticalArea 的 fit 對於軍服務男性 and 基數 卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 子類 entity and MilitaryProcess entity 是 SymbolicString 的 fit 軍事服務 entity 是 GeopoliticalArea 的 military 年紀 年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 SymbolicString and GeopoliticalArea |
(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 1001-1014 | equal GeopoliticalArea 和 年 每年的 reaching 軍事男性年齡 and 基數 卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 entity 是 GeopoliticalArea 的 military 年紀 equal entity and 減法 entity and 1 持有期間 年 and 年齡 SymbolicString and entity 年齡 SymbolicString and entity equal entity and entity 棲息 SymbolicString and GeopoliticalArea |
(exists (?H) (and (attribute ?H NewReporter) (employs ProPublica ?H))) |
Medicine.kif 4597-4600 | CognitiveAgent attribute CognitiveAgent and NewReporter 採用 ProPublica and CognitiveAgent |
(exists (?MEAL ?REGION) (attribute ?MEAL (MealAttributeFn ?MEAL ?REGION))) |
Food.kif 1908-1909 | Meal Region attribute Meal and 對於 Meal 合適的 meal 在 Region |
(increasesLikelihood (and (biochemicalAgentSyndrome ?AGENT ?SYMPTOM) (biochemicalAgentDelivery ?AGENT ?PROCESSTYPE) (instance ?PROCESS ?PROCESSTYPE) (experiencer ?PROCESS ?ORGANISM)) (attribute ?ORGANISM ?SYMPTOM)) |
WMD.kif 767-773 | 增加可能性 ?SYMPTOM 是 ?AGENT 的 biochemical 病毒徵兆 ?PROCESSTYPE 是 ?AGENT 的 biochemical 病毒傳遞 例 ?PROCESS and ?PROCESSTYPE 體驗者 ?PROCESS and ?ORGANISM and attribute ?ORGANISM and ?SYMPTOM |
appearance as argument number 0 |
![]() |
(attribute Hay Fodder) | Mid-level-ontology.kif 22018-22018 | attribute 乾草 and 飼料 |
(attribute SouthernOcean PolarClimateZone) | Geography.kif 5059-5059 | attribute 南部海洋 and 極地氣候區 |
(attribute Tourniquet RelationalAttribute) | Medicine.kif 15-15 | attribute Tourniquet and RelationalAttribute |
![]() |
![]() |