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 | O argumento numero 1 de confersNorm e' uma instancia de Entidade |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3993-3993 | O argumento numero 2 de confersNorm e' uma instancia de Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3994-3994 | O argumento numero 3 de confersNorm e' uma instancia de Norma Objectiva |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3991-3991 | confersNorm e' uma instancia de Predicado Ternario |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4013-4013 | deprivesNorm e confersNorm sao disjuntos |
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 18678-18694 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16881-16892 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16581-16588 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16560-16574 |
|
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 18700-18711 | |
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 16541-16553 |
|
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 13268-13273 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15661-15666 |