|
|
   Murder NonFullyFormed
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18232-18232 | NonFullyFormed e' &o oposto de FullyFormed |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 4023-4024 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18234-18235 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18231-18231 | NonFullyFormed e' uma instancia de Atributo Desenvolvimental |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18233-18233 | NonFullyFormed e' um atributo sucessor immediato de FullyFormed |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18268-18268 | Embryonic e' um sub-atributo de NonFullyFormed |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18244-18244 | Larval e' um sub-atributo de NonFullyFormed |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19875-19875 | Puberty e' um sub-atributo de NonFullyFormed |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40781-40781 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40780-40780 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40779-40779 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18215-18215 | exhaustiveAttribute Atributo Desenvolvimental, FullyFormed and NonFullyFormed |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 279-285 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20236-20240 | Objeto e' uma instancia de Calf Objeto e' uma instancia de Cattle NonFullyFormed e' um atributo de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20213-20217 | Objeto e' uma instancia de Lamb Objeto e' uma instancia de Sheep NonFullyFormed e' um atributo de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18223-18229 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 273-277 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24067-24074 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20419-20421 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20117-20119 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30647-30649 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20129-20131 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2588-2594 |
|
|
|
|