TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1806-1810
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2138-2146
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 421-427
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10629-10629
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10628-10628
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10631-10631
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10630-10630
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10627-10627
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10626-10626
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9942-9942
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10633-10633
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10625-10625
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2136-2136	类是集或类的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1762-1762	延伸函数的 range 是类的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5584-5584	组成类别函数的 range 是类的实例
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1516-1516	WeekBeforeMenstruationFn 的 range 是类的实例
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 886-886
No TPTP formula. May not be expressible in strict first order.	english_format.kif 974-974
No TPTP formula. May not be expressible in strict first order.	french_format.kif 562-562
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 92-92
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 95-95
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2247-2247
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 514-514
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 97-97
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 129-129
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 583-583
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 96-96

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1490-1490	TTFxFn 的 1 数量是类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3575-3575	闭上的 2 数量是类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 395-395	不相交的 1 数量是类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 396-396	不相交的 2 数量是类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 566-566	不相交的分拆的 1 数量是类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 567-567	不相交的分拆的 2 数量是类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 210-210	定义域的 3 数量是类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 232-232	子类别的定义域的 3 数量是类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3706-3706	属于等价关系的 2 数量是类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 548-548	彻底的分拆的 1 数量是类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 549-549	彻底的分拆的 2 数量是类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 91-91	直接实例的 2 数量是类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 153-153	直接子类别的 1 数量是类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 154-154	直接子类别的 2 数量是类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 82-82	实例的 2 数量是类的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31007-31007	memberMeasure 的 1 数量是类的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22650-22650	会员类型的 2 数量是类的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22664-22664	会员类型计数的 2 数量是类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3643-3643	含偏序关系的 2 数量是类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 582-582	划分的 1 数量是类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 583-583	划分的 2 数量是类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 307-307	范围的 2 数量是类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3604-3604	含自反关系的 2 数量是类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 131-131	子类别的 1 数量是类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 132-132	子类别的 2 数量是类的 instance

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 31018-31023	如果 memberMeasure 类, MeasurementAttribute and 数量和那个类是类的 instance 和实体是那个类的 instance，然后那个实体是人工制品的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31025-31030	如果 memberMeasure 类, MeasurementAttribute and 物理量和那个类是类的 instance 和物理是那个类的 instance，然后那个物理的 measure 是那个物理量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31186-31191	如果 memberMeasure 类, ApproximateDiameter and 长度测量和那个类是类的 instance 和自身连接物体是那个类的 instance，然后 1 的 approximate diameter 是 %2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31215-31220	如果 memberMeasure 类, Area and 面积测量和那个类是类的 instance 和地区是那个类的 instance，然后那个面积测量是那个地区的 total 區域
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31119-31124	如果 memberMeasure 类, Circumfrence and 长度测量和那个类是类的 instance 和圈是那个类的 instance，然后 circumfrence 那个圈 and 那个长度测量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31164-31169	如果 memberMeasure 类, Diameter and 长度测量和那个类是类的 instance 和圈是那个类的 instance，然后那个圈的 diameter 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31325-31332	如果 memberMeasure 类, Frequency and 持续时间和那个类是类的 instance 和施事体是那个类的 instance 和过程是过程的 instance 和那个施事体是那个过程的 agent，然后过程每那个持续时间发生一次
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31053-31058	如果 memberMeasure 类, 长度 and 长度测量和那个类是类的 instance 和物理是那个类的 instance，然后那个物理的 length 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31355-31360	如果 memberMeasure 类, TransformerCapacity and 函数量和那个类是类的 instance 和变压器是那个类的 instance，然后 transformerCapacity 那个变压器 and 那个函数量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31237-31242	如果 memberMeasure 类, VoltageRatingPrimary and 函数量和那个类是类的 instance 和变压器是那个类的 instance，然后 voltageRatingPrimary 那个变压器 and 那个函数量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31280-31285	如果 memberMeasure 类, VoltageRatingSecondary and 函数量和那个类是类的 instance 和变压器是那个类的 instance，然后 voltageRatingSecondary 那个变压器 and 那个函数量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31098-31103	如果 memberMeasure 类, Width and 长度测量和那个类是类的 instance 和自身连接物体是那个类的 instance，然后那个自身连接物体的 height 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31072-31077	如果 memberMeasure 类, Width and 长度测量和那个类是类的 instance 和物理是那个类的 instance，然后那个物理的 width 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Merge.kif 828-830	如果类是类的 instance，然后那个类是实体的 subclass

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 145-160	如果群体是 WebListingCategory 的 instance 和物理是 WebListing 的 instance 和另一个物理是 WebListing 的 instance 和过程是客体的 instance 和另一个过程是客体的 instance 和那个物理是那个群体的 member 和那个另外物理是那个群体的 member 和那个物理是那个过程的 patient 和那个另外物理是那个另外过程的 patient，然后有存在类这样那个类是类的 instance 和那个过程是那个类的 instance 和那个另外过程是那个类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 574-578	如果 @ROW 分拆成不相交的 @ROW，然后如果另一个实体是 (@ROW) 的 member，然后那个另外实体是类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 558-562	如果 @ROW 涵盖 @ROW，然后如果另一个实体是 (@ROW) 的 member，然后那个另外实体是类的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2034-2041	如果客体是 ProductDescriptionPage 的 instance，然后有存在实体和过程这样那个实体是类的 instance 和那个过程是广告的 instance 和那个实体是那个过程的 patient 和那个过程是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2043-2052	如果客体是 ProductDescriptionPage 的 instance，然后有存在实体，过程,，，另一个过程， and 和那个过程CONTENT 这样那个实体是类的 instance 和那个另外过程是陈述的 instance 和那个过程是那个另外过程的 patient 和那个过程提到那个实体和那个过程CONTENT 是那个过程的 result 和那个过程CONTENT 是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 137-141	如果类是另一个类的 subclass，然后那个类是类的 instance 和那个另外类是类的 instance

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

KB Term:			Term intersection

English Word: