No TPTP formula. May not be expressible in strict first order. | Merge.kif 15442-15442 | 子類 Sentence and LinguisticExpression |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14233-14233 | 子類 聲明 and Sentence |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14250-14250 | 子類 題 and Sentence |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14261-14261 | 子類 假想 and Sentence |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14272-14272 | 子類 請求 and Sentence |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14283-14283 | 子類 訂購 and Sentence |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1547-1547 | 子類 Formula and Sentence |