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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Predicate
Predicate(谓语)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1987-1990
No TPTP formula. May not be expressible in strict first order. Merge.kif 3342-3348
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 620-624
No TPTP formula. May not be expressible in strict first order. Merge.kif 3340-3340 谓语可继承的关系subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 3339-3339 谓语关系subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 455-455 相反属性谓语instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 564-564 不相交的分拆谓语instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 486-486 详尽的属性谓语instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 546-546 彻底的分拆谓语instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 580-580 划分谓语instance
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 686-686 进程列表谓语instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2162-2162 关系 详尽无遗地 partition谓语函数
No TPTP formula. May not be expressible in strict first order. Merge.kif 3478-3478 二元谓语谓语subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 18470-18470 ClosedWorldPredicate谓语subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 3550-3550 逻辑运算符谓语subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 3500-3500 四元谓语谓语subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 3511-3511 五元谓语谓语subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 3489-3489 三元谓语谓语subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 915-915
No TPTP formula. May not be expressible in strict first order. english_format.kif 1037-1037
No TPTP formula. May not be expressible in strict first order. french_format.kif 591-591
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 121-121
No TPTP formula. May not be expressible in strict first order. terms-it.txt 124-124
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2276-2276
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 543-543
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 126-126
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 158-158
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 612-612
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 125-125

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 18440-18440 defaultMaxValue 的 1 数量 是 谓语instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 18423-18423 defaultMinValue 的 1 数量 是 谓语instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 18457-18457 defaultValue 的 1 数量 是 谓语instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 18405-18405 maxValue 的 1 数量 是 谓语instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 18387-18387 minValue 的 1 数量 是 谓语instance

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2998-3003
No TPTP formula. May not be expressible in strict first order. Merge.kif 3005-3010
No TPTP formula. May not be expressible in strict first order. Media.kif 2106-2113
No TPTP formula. May not be expressible in strict first order. Media.kif 2093-2103
No TPTP formula. May not be expressible in strict first order. Media.kif 2075-2090
No TPTP formula. May not be expressible in strict first order. Media.kif 2137-2150
No TPTP formula. May not be expressible in strict first order. Merge.kif 447-453
No TPTP formula. May not be expressible in strict first order. Merge.kif 3610-3618
No TPTP formula. May not be expressible in strict first order. Media.kif 2210-2223
No TPTP formula. May not be expressible in strict first order. Media.kif 2174-2187
No TPTP formula. May not be expressible in strict first order. Merge.kif 192-198
No TPTP formula. May not be expressible in strict first order. Merge.kif 3048-3055


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