SelfConnectedObject
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1555-1556 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 864-865 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 126-127 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 146-147 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 862-862 | Objeto auto-conectado e' uma sub-classe de Objeto |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1262-1262 | Colecao e' disjunto de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 899-899 | O contra-dominio de BackFn e' uma instancia de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 879-879 | O contra-dominio de FrontFn e' uma instancia de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14881-14881 | Os valores retornados por FoodForFn sao as sub-classes de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4492-4492 | BodyOfWater e' uma sub-classe de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1226-1226 | Objeto Corpuscular e' uma sub-classe de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14896-14896 | Comida e' uma sub-classe de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4723-4723 | Iceberg e' uma sub-classe de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 867-867 | OrganicThing e' uma sub-classe de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2361-2361 | Ramp e' uma sub-classe de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2574-2574 | ShipContainer e' uma sub-classe de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1041-1041 | Substancia e' uma sub-classe de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14288-14288 | Transitway e' uma sub-classe de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 816-816 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 834-834 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 492-492 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 25-25 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 28-28 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2177-2177 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 444-444 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 29-29 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 59-59 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 513-513 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 29-29 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 898-898 | O argumento numero 1 de BackFn e' uma instancia de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 878-878 | O argumento numero 1 de FrontFn e' uma instancia de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17940-17940 | O argumento numero 1 de approximateDiameter e' uma instancia de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9731-9731 | O argumento numero 1 de bottom e' uma instancia de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9732-9732 | O argumento numero 2 de bottom e' uma instancia de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6680-6680 | O argumento numero 1 de capacity e' uma instancia de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1019-1019 | O argumento numero 1 de contains e' uma instancia de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7550-7550 | O argumento numero 1 de height e' uma instancia de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 995-995 | O argumento numero 2 de hole e' uma instancia de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22698-22698 | O argumento numero 1 de memberAtTime e' uma instancia de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17400-17400 | O argumento numero 1 de onboard e' uma instancia de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9761-9761 | O argumento numero 1 de side e' uma instancia de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9762-9762 | O argumento numero 2 de side e' uma instancia de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9699-9699 | O argumento numero 1 de surface e' uma instancia de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9700-9700 | O argumento numero 2 de surface e' uma instancia de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9746-9746 | O argumento numero 1 de top e' uma instancia de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9747-9747 | O argumento numero 2 de top e' uma instancia de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7284-7284 | O argumento numero 1 de weight e' uma instancia de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1656-1656 | O argumento numero 1 de ingredientAmount e' uma sub-classe de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1657-1657 | O argumento numero 2 de ingredientAmount e' uma sub-classe de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2605-2605 | O argumento numero 2 de trafficableForTrafficType e' uma sub-classe de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3036-3036 | O argumento numero 2 de transitwayCapacityCount e' uma sub-classe de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3046-3046 | O argumento numero 2 de transitwayCapacityRate e' uma sub-classe de Objeto auto-conectado |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9543-9547 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 383-396 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 403-416 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12497-12502 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14476-14482 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12513-12518 |