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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Sentence
Sentence(句子)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14231-14231 句子 分拆成不相交的 声明, 假想, , 请求, 和 订购
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3559-3560
No TPTP formula. May not be expressible in strict first order. Merge.kif 15443-15445
No TPTP formula. May not be expressible in strict first order. Merge.kif 15442-15442 句子语言式表达subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1547-1547 公式句子subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14283-14283 订购句子subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14250-14250 句子subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14272-14272 请求句子subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14233-14233 声明句子subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14261-14261 假想句子subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1039-1039
No TPTP formula. May not be expressible in strict first order. english_format.kif 1289-1289
No TPTP formula. May not be expressible in strict first order. french_format.kif 717-717
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 249-249
No TPTP formula. May not be expressible in strict first order. terms-it.txt 252-252
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2401-2401
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 669-669
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 254-254
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 287-287
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 738-738
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 253-253

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24356-24356 语法关系 的 2 数量 是 句子instance
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4551-4551 securityQA 的 2 数量 是 句子instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 720-720 句子 的 2 数量 是 句子instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 728-728 句子主题 的 2 数量 是 句子instance
No TPTP formula. May not be expressible in strict first order. Media.kif 1829-1829 states 的 2 数量 是 句子instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16990-16990 真值 的 1 数量 是 句子instance

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1836-1842
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14287-14292
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14254-14259
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12977-12982
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14276-14281
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14236-14241
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14265-14270
No TPTP formula. May not be expressible in strict first order. Merge.kif 15447-15452
No TPTP formula. May not be expressible in strict first order. Merge.kif 15332-15339

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 16973-16979
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 709-714


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