Entity - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 817-818
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 118-119
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 137-138
No TPTP formula. May not be expressible in strict first order.	Merge.kif 816-816	实体详尽无遗地 partition 成物理和抽象体

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 788-788	分派函数的 range 是实体的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3214-3214	第一的 range 是实体的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3194-3194	持续的 range 是实体的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2966-2966	找出表列顺序的函数的 range 是实体的实例
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2814-2814	短缺的 range 是实体的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1656-1656	抽象体是实体的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 832-832	物理是实体的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 813-813
No TPTP formula. May not be expressible in strict first order.	english_format.kif 828-828
No TPTP formula. May not be expressible in strict first order.	french_format.kif 489-489
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 23-23
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 23-23
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2174-2174
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 441-441
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 26-26
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 56-56
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 510-510
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 26-26

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 787-787	分派函数的 2 数量是实体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2920-2920	表列函数的 1 数量是实体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27337-27337	缩写的 2 数量是实体的 instance
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 852-852	accessibleFromMenu 的 1 数量是实体的 instance
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1138-1138	accessibleFromMenuItem 的 1 数量是实体的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 3033-3033	acronym 的 2 数量是实体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30066-30066	buys 的 3 数量是实体的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 2266-2266	codeMapping 的 3 数量是实体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18247-18247	注释的 1 数量是实体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3979-3979	赋予规范的 1 数量是实体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17340-17340	授予执行任务的 2 数量是实体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17319-17319	赋予权利的 2 数量是实体的 instance
No TPTP formula. May not be expressible in strict first order.	Music.kif 1079-1079	contestEntry 的 1 数量是实体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27320-27320	传统的长名的 2 数量是实体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27332-27332	传统的短名称的 2 数量是实体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13584-13584	creator 的 2 数量是实体的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2861-2861	crossFunctionalTeamFocus 的 1 数量是实体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4001-4001	剥夺了规范的 1 数量是实体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2432-2432	终点的 2 数量是实体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 369-369	文档的 1 数量是实体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5400-5400	元素的 1 数量是实体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 677-677	externalImage 的 1 数量是实体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 381-381	格式的 2 数量是实体的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 3289-3289	fullName 的 2 数量是实体的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 3303-3303	fullNameIndexOrder 的 2 数量是实体的 instance

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.	UXExperimentalTerms.kif 2778-2783	如果机构是 Business 的 business 单位，然后有存在实体这样那个实体是实体的 instance 和那个机构对那个实体感兴趣
No TPTP formula. May not be expressible in strict first order.	Merge.kif 828-830	如果类是类的 instance，然后那个类是实体的 subclass
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2824-2834	如果群体是 CrossFunctionalTeam 的 instance，然后有存在实体这样那个实体是实体的 instance 和对所有有认知的主事如果那个有认知的主事是人类的 instance 和那个有认知的主事是那个群体的 member，然后那个有认知的主事对那个实体感兴趣

statement

No TPTP formula. May not be expressible in strict first order.

Merge.kif 825-826

有存在实体这样那个实体是实体的 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: