TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3279-3280
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13264-13266
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3069-3069
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2946-2946
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3068-3068
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3067-3067
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3071-3071
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3070-3070
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3065-3065
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13263-13263	声明是语言交流的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1008-1008	审核是声明的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1036-1036	任命是声明的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1021-1021	离婚是声明的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 931-931	创建是声明的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16275-16275	比赛电话是声明的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10810-10810	法律决定是声明的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13275-13275	命名是声明的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13821-13821	通过法案是声明的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15876-15876	宣讲是声明的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7960-7960	婚礼是声明的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1205-1205
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1627-1627
No TPTP formula. May not be expressible in strict first order.	french_format.kif 883-883
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 416-416
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 419-419
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2567-2567
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 835-835
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 421-421
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 455-455
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 904-904
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 420-420

antecedent

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

Merge.kif 13268-13273

如果实体是声明的 instance，
然后有存在公式和客观标准这样那个实体 confers 规范那个公式对于那个客观标准或那个实体对那个客观标准剥夺规范那个公式

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 2393-2399	如果实体是外国恐怖组织的 instance，然后有存在过程这样那个过程是声明的 instance 和美国国务院是那个过程的 agent 和那个实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16547-16553	如果人类和另一个人类之间有 legalRelation，然后有存在实体和公式这样那个实体是声明的 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: