Attribute - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1710-1711
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1704-1705
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 313-314
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10460-10460
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10453-10453
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9895-9895
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10455-10455
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10456-10456
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10454-10454
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10457-10457
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10458-10458
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10461-10461
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10462-10462
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10452-10452
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1702-1702	属性详尽无遗地 partition 成内在属性和关联属性
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1700-1700	属性是抽象体的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	relations-it.txt 29-29
No TPTP formula. May not be expressible in strict first order.	Food.kif 2799-2799	BasicPH 是属性的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 299-299	侧风是属性的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 305-305	逆风是属性的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4683-4683	公海是属性的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15030-15030	铺砌是属性的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 619-619	RepresentativeSample 是属性的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2678-2678	标准状况是属性的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 312-312	尾风是属性的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15031-15031	未铺砌是属性的 instance
No TPTP formula. May not be expressible in strict first order.	Food.kif 3529-3529	Vegan 是属性的 instance
No TPTP formula. May not be expressible in strict first order.	Food.kif 3520-3520	Vegetarian 是属性的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 798-798	AccountAttribute 是属性的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1269-1269	气候区是属性的 subclass
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4606-4606	ExperimentAttribute 是属性的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1804-1804	内在属性是属性的 subclass
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 368-368	ListingAttribute 是属性的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1815-1815	关联属性是属性的 subclass
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1836-1836	TransactionAttribute 是属性的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 855-855
No TPTP formula. May not be expressible in strict first order.	english_format.kif 912-912
No TPTP formula. May not be expressible in strict first order.	french_format.kif 531-531
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 62-62
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 65-65

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1670-1670	抽象体分拆成不相交的数量, 属性, 关系, 命题, 和串列
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1778-1778	Attr 的 2 数量是属性的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1761-1761	延伸函数的 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 457-457	相反属性的 1 数量是属性的 instance
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 17-17	contraryAttributeWRT 的 1 数量是属性的 instance
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 18-18	contraryAttributeWRT 的 2 数量是属性的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 489-489	详尽的属性的 2 数量是属性的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 751-751	greaterThanByQuality 的 3 数量是属性的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1421-1421	按职业划分的劳动力比例的 2 数量是属性的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1403-1403	按职业期间划分的劳动力比例的 2 数量是属性的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1733-1733	形式的 2 数量是属性的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1709-1709	特性的 2 数量是属性的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 682-682	子属性的 1 数量是属性的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 683-683	子属性的 2 数量是属性的 instance
No TPTP formula. May not be expressible in strict first order.	Dining.kif 314-314	subjectiveAttribute 的 2 数量是属性的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 704-704	后续属性的 1 数量是属性的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 705-705	后续属性的 2 数量是属性的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 730-730	后续属性闭包的 1 数量是属性的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 731-731	后续属性闭包的 2 数量是属性的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6197-6197	植被类型模式的 3 数量是属性的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 292-292	风的相对位置的 2 数量是属性的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 488-488	详尽的属性的 1 数量是属性的 subclass

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 43-52	如果属性是属性的 instance 和另一个属性是属性的 instance 和二元谓语是属于的 subrelation，然后 ~{ 那个属性和那个另外属性是对于那个二元谓语的 mutually exclusive } 或 ~{ 那个二元谓语实体 and 那个属性 } 或 ~{ 那个二元谓语那个实体 and 那个另外属性 }
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 109-119	如果施事体 offers 拍卖样品在抽象体和那个抽象体是属性的 instance，然后有存在实体和另一个实体这样那个另外实体是出售的 instance 和那个抽象体是那个实体的 attribute 和那个实体是那个另外实体的 patient 和那个施事体是那个另外实体的 agent 的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 152-157	如果施事体 offers 拍卖样品在实体在其间时距和那个实体是属性的 instance，然后那个施事体 offers 拍卖样品在那个实体在那个时距 holdsDuring

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 497-501	如果 @ROW 是所有的另一个有点属性的 attributes 和实体是 (@ROW) 的 member，然后那个实体是属性的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 629-645	如果实体_COLL 是群体的 instance 和另一个实体_COLL 是群体的 instance 和试验是试验的 instance 和有认知的主事是有认知的主事的 instance 和那个有认知的主事是那个试验的 agent 和那个实体_COLL 是那个另外实体_COLL 的 sample 对于那个试验，然后对所有属性如果那个属性是属性的 instance 和那个实体_COLL 有那个属性的 attribute 和那个有认知的主事对那个属性感兴趣和那个属性不 equal RepresentativeSample，然后那个另外实体_COLL 有那个属性的 attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 464-468	如果 @ROW 是的相反，然后如果另一个实体是 (@ROW) 的 member，然后那个另外实体是属性的 instance

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

KB Term:			Term intersection

English Word: