confersNorm |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2103-2104 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3996-3998 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 754-755 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3992-3992 | 域 賦予規範, 1 and Entity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3993-3993 | 域 賦予規範, 2 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3994-3994 | 域 賦予規範, 3 and ObjectiveNorm |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3991-3991 | 例 賦予規範 and TernaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4013-4013 | 不相交的關係 剝奪了規範 and 賦予規範 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 520-520 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 519-519 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 518-518 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16578-16578 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16577-16577 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16576-16576 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Law.kif 339-341 | |
No TPTP formula. May not be expressible in strict first order. | Law.kif 330-333 | |
No TPTP formula. May not be expressible in strict first order. | Law.kif 335-337 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4000-4010 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18679-18695 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16882-16893 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16582-16589 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16561-16575 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2561-2570 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2610-2619 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18701-18712 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 11456-11468 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16542-16554 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 339-341 | |
No TPTP formula. May not be expressible in strict first order. | Law.kif 330-333 | |
No TPTP formula. May not be expressible in strict first order. | Law.kif 335-337 | |
No TPTP formula. May not be expressible in strict first order. | Law.kif 351-353 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13246-13251 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15639-15644 |
|