Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  attribute

 Sigma KEE - attribute
attribute

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1714-1715
No TPTP formula. May not be expressible in strict first order. Merge.kif 1723-1725
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 318-319
No TPTP formula. May not be expressible in strict first order. Merge.kif 1720-1720 属于 的 1 数量 是 客体 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1721-1721 属于 的 2 数量 是 属性 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1715-1715 属于 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1718-1718 属于 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1716-1716 属于 是 非自反关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1717-1717 属于 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1719-1719 属于 是 特性 的 subrelation

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1734-1734 形式 和 属于 是 disjoint 关系
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 59-59
No TPTP formula. May not be expressible in strict first order. english_format.kif 59-59
No TPTP formula. May not be expressible in strict first order. french_format.kif 56-56
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1878-1878
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 8-8
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 73-73
No TPTP formula. May not be expressible in strict first order. relations-de.txt 65-65
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 73-73
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 75-75
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 55-55
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 63-63
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2510-2510 债券评级 是 属于 的 subrelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19358-19358 color 是 属于 的 subrelation
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2501-2501 信用评级 是 属于 的 subrelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 14321-14321 发育形态 是 属于 的 subrelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1880-1880 设备状态 是 属于 的 subrelation
No TPTP formula. May not be expressible in strict first order. Economy.kif 86-86 经济类型 是 属于 的 subrelation
No TPTP formula. May not be expressible in strict first order. Government.kif 130-130 政府类型 是 属于 的 subrelation
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1882-1882 hasGUEState 是 属于 的 subrelation
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 163-163 具有分子结构属性 是 属于 的 subrelation
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2109-2109 主持人身份 是 属于 的 subrelation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30178-30188 实体 是 身体部位 的 instance 和 Bare 是 那个 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 这样 那个 另外 实体 是 服装 的 instance 和 covers 那个 另外 实体 and 那个 实体 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15000-15004 识字属性 是 施事体 的 attribute 若且唯若 那个 施事体 hasSkill 去做 朗读 和 那个 施事体 hasSkill 去做 写作
No TPTP formula. May not be expressible in strict first order. People.kif 676-678 信仰团体 的 member 是 客体 的 attribute 若且唯若 那个 客体 是 那个 信仰团体 的 member
No TPTP formula. May not be expressible in strict first order. People.kif 702-704 不可知 是 客体 的 attribute 若且唯若 那个 客体 是 不可知论 的 member
No TPTP formula. May not be expressible in strict first order. People.kif 1347-1349 Ahmadiyya穆斯林 是 客体 的 attribute 若且唯若 那个 客体 是 ahmadiyya教派 的 member
No TPTP formula. May not be expressible in strict first order. People.kif 1225-1227 英国国教 是 客体 的 attribute 若且唯若 那个 客体 是 英国国教 的 member
No TPTP formula. May not be expressible in strict first order. People.kif 1233-1235 英国国教 是 客体 的 attribute 若且唯若 那个 客体 是 英格兰教堂 的 member
No TPTP formula. May not be expressible in strict first order. People.kif 720-722 无神论者 是 客体 的 attribute 若且唯若 那个 客体 是 无神论 的 member
No TPTP formula. May not be expressible in strict first order. People.kif 757-759 巴哈 是 客体 的 attribute 若且唯若 那个 客体 是 巴哈主义 的 member
No TPTP formula. May not be expressible in strict first order. People.kif 769-771 佛教徒 是 客体 的 attribute 若且唯若 那个 客体 是 佛教 的 member
No TPTP formula. May not be expressible in strict first order. People.kif 1306-1308 儒 是 客体 的 attribute 若且唯若 那个 客体 是 儒 的 member
No TPTP formula. May not be expressible in strict first order. People.kif 1361-1363 德鲁兹穆斯林 是 客体 的 attribute 若且唯若 那个 客体 是 德鲁兹教派 的 member
No TPTP formula. May not be expressible in strict first order. People.kif 1247-1249 东正教基督教 是 客体 的 attribute 若且唯若 那个 客体 是 东正教基督教 的 member
No TPTP formula. May not be expressible in strict first order. People.kif 1318-1320 印度教 是 客体 的 attribute 若且唯若 那个 客体 是 印度教 的 member
No TPTP formula. May not be expressible in strict first order. People.kif 1411-1413 耆那教 是 客体 的 attribute 若且唯若 那个 客体 是 耆那教 的 member
No TPTP formula. May not be expressible in strict first order. People.kif 1330-1332 穆斯林 是 客体 的 attribute 若且唯若 那个 客体 是 伊斯兰教 的 member
No TPTP formula. May not be expressible in strict first order. People.kif 1457-1459 Neopaganismist 是 客体 的 attribute 若且唯若 那个 客体 是 neopaganism 的 member
No TPTP formula. May not be expressible in strict first order. People.kif 1261-1263 新教 是 客体 的 attribute 若且唯若 那个 客体 是 新教 的 member
No TPTP formula. May not be expressible in strict first order. People.kif 1428-1430 宗教的犹太人 是 客体 的 attribute 若且唯若 那个 客体 是 犹太教 的 member
No TPTP formula. May not be expressible in strict first order. People.kif 1283-1285 罗马天主教徒 是 客体 的 attribute 若且唯若 那个 客体 是 罗马天主教会 的 member
No TPTP formula. May not be expressible in strict first order. People.kif 1275-1277 罗马天主教徒 是 客体 的 attribute 若且唯若 那个 客体 是 罗马天主教 的 member
No TPTP formula. May not be expressible in strict first order. People.kif 1377-1379 什叶派穆斯林 是 客体 的 attribute 若且唯若 那个 客体 是 什叶派 的 member
No TPTP formula. May not be expressible in strict first order. People.kif 1472-1474 神道教 是 客体 的 attribute 若且唯若 那个 客体 是 神道 的 member
No TPTP formula. May not be expressible in strict first order. People.kif 1487-1489 锡克教 是 客体 的 attribute 若且唯若 那个 客体 是 锡克教 的 member
No TPTP formula. May not be expressible in strict first order. People.kif 1396-1398 逊尼派穆斯林 是 客体 的 attribute 若且唯若 那个 客体 是 逊尼派 的 member

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 357-390 年 是 那个 年EAR year 的 instance 和 地缘政治区域 和 那个 年 的 male 出生估计寿命 equal 实数 若且唯若 有存在 串列， 另一个 整数,， ， 符号串,， ， 实体,， ， 另一个 实体， and 和 第三 实体 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 那个 另外 整数 的 instance 和 对所有 那个 串列ITEM 和 那个 实数 是 那个 串列 的 average
No TPTP formula. May not be expressible in strict first order. People.kif 403-436 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 的 female 出生预期寿命 equal 实数 若且唯若 有存在 串列， 另一个 整数,， ， 符号串,， ， 实体,， ， 另一个 实体， and 和 第三 实体 这样 那个 串列 是 串列 的 instance 和 那个 串列 的长度 是 那个 另外 整数 的 instance 和 对所有 那个 串列ITEM 和 那个 实数 是 那个 串列 的 average
No TPTP formula. May not be expressible in strict first order. Government.kif 1400-1404 女王 是 客体 的 attribute 若且唯若 QueenRegnant 是 那个 客体 的 attribute 或 QueenConsort 是 那个 客体 的 attribute
No TPTP formula. May not be expressible in strict first order. People.kif 206-223 地缘政治区域 的 male 对母性比率 equal 实数 若且唯若 整数 equal 符号串 所描述的类别 instance 的数量 和 另一个 整数 equal 另一个 符号串 所描述的类别 instance 的数量 和 那个 整数 和 那个 另外 整数 equal 那个 实数
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1783-1787 hearingAcuity 人类, -10 Decibel and 15 Decibel 若且唯若 NormalHearingSensitivity 是 那个 人类 的 attribute
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1794-1798 hearingAcuity 人类, 16 Decibel and 25 Decibel 若且唯若 BorderlineHearingSensitivity 是 那个 人类 的 attribute
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1805-1809 hearingAcuity 人类, 26 Decibel and 40 Decibel 若且唯若 MildHearingLoss 是 那个 人类 的 attribute
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1815-1819 hearingAcuity 人类, 41 Decibel and 55 Decibel 若且唯若 ModerateHearingLoss 是 那个 人类 的 attribute
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1826-1830 hearingAcuity 人类, 56 Decibel and 70 Decibel 若且唯若 ModeratelySevereHearingLoss 是 那个 人类 的 attribute
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1837-1841 hearingAcuity 人类, 71 Decibel and 90 Decibel 若且唯若 SevereHearingLoss 是 那个 人类 的 attribute
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1848-1852 hearingAcuity 人类, 91 Decibel and 200 Decibel 若且唯若 ProfoundHearingLoss 是 那个 人类 的 attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17254-17262 实体 是 人类 的 instance 和 对所有 另一个 实体 那个 另外 实体 doesn't employs 那个 实体 在 时间位置 holdsDuring 若且唯若 失业的 是 那个 实体 的 attribute 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20200-20204 客体 是 公牛 的 instance 若且唯若 那个 客体 是 牛 的 instance 和 女 是 那个 客体 的 attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20218-20222 客体 是 公牛 的 instance 若且唯若 那个 客体 是 牛 的 instance 和 男 是 那个 客体 的 attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20209-20213 客体 是 小牛 的 instance 若且唯若 那个 客体 是 牛 的 instance 和 没有完全形成 是 那个 客体 的 attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30094-30098 客体 是 DamagedVehicle 的 instance 若且唯若 那个 客体 是 车辆 的 instance 和 DeviceDamaged 是 那个 客体 的 attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20232-20236 客体 是 母鸡 的 instance 若且唯若 那个 客体 是 鸡 的 instance 和 女 是 那个 客体 的 attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8979-8983 客体 是 冰 的 instance 若且唯若 那个 客体 是 水 的 instance 和 固体 是 那个 客体 的 attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20186-20190 客体 是 羔羊 的 instance 若且唯若 那个 客体 是 羊 的 instance 和 没有完全形成 是 那个 客体 的 attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20241-20245 客体 是 公鸡 的 instance 若且唯若 那个 客体 是 鸡 的 instance 和 男 是 那个 客体 的 attribute
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2768-2770
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16852-16861
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20760-20767
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18837-18843
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 204-223

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 456-469 年 是 整数 year 的 instance 和 地缘政治区域 和 那个 年 每个女人生的 children equal 符号串 所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order. Government.kif 1241-1248 对所有 ?AGENT， ?VOTER,， ， ?ELECTION， and 和 ?VOTING contains 独家男性选举权 的资料
No TPTP formula. May not be expressible in strict first order. WMD.kif 921-929 ?SYMPTOM 是 ?AGENT 的 biochemical 病毒征兆 和 ?AGENT biochemical 病毒解毒制剂 ?SUBSTANCE 对于 ?PROCESS 和 ?SAMPLE 是 ?SUBSTANCE 的 instance 和 ?THERAPY 是 ?PROCESS 的 instance 和 ?ORGANISM 经历了 ?THERAPY 和 ?SAMPLE 是 ?THERAPY 的 patient 减少 ?SYMPTOM 是 ?ORGANISM 的 attribute 发生的机率
No TPTP formula. May not be expressible in strict first order. Military.kif 872-881 地缘政治区域 的 available 军事服务男性 equal 符号串 所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order. Military.kif 895-906 地缘政治区域 的 fit 对于军服务男性 equal 符号串 所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order. Military.kif 933-946 地缘政治区域 和 年 每年的 reaching 军事男性年龄 equal 符号串 所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4590-4593 有存在 有认知的主事 这样 NewReporter 是 那个 有认知的主事 的 attribute 和 ProPublica employs 那个 有认知的主事
No TPTP formula. May not be expressible in strict first order. Food.kif 1902-1903 有存在 Meal 和 地区 这样 对于 那个 Meal 合适的 meal 在 那个 地区 是 那个 Meal 的 attribute
No TPTP formula. May not be expressible in strict first order. WMD.kif 767-773 ?SYMPTOM 是 ?AGENT 的 biochemical 病毒征兆 和 ?PROCESSTYPE 是 ?AGENT 的 biochemical 病毒传递 和 ?PROCESS 是 ?PROCESSTYPE 的 instance 和 ?ORGANISM 经历了 ?PROCESS 增加 ?SYMPTOM 是 ?ORGANISM 的 attribute 发生的机率

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20401-20401 饲料 是 干草 的 attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 4681-4681 极地气候区 是 南部海洋 的 attribute
No TPTP formula. May not be expressible in strict first order. Medicine.kif 15-15 关联属性 是 Tourniquet 的 attribute


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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