sententialObject |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 716-718 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 719-719 | 句子 的 1 数量 是 名词短语 的 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 721-721 | 句子 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 722-722 | 句子 是 语法关系 的 subrelation |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4494-4494 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4493-4493 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4492-4492 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52125-52125 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52124-52124 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52123-52123 |
![]() |
![]() |