Object
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1552-1554 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 847-852 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 122-125 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 141-145 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1204-1204 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 846-846 | Objeto e' uma sub-classe de Fisico |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 833-833 | O conceito Fisico e' completamente decomposto em Objeto + Processo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9964-9964 | O contra-dominio de HoleHostFn e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10105-10105 | O contra-dominio de HoleSkinFn e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2626-2626 | O contra-dominio de LineFn e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9867-9867 | O contra-dominio de MereologicalDifferenceFn e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9846-9846 | O contra-dominio de MereologicalProductFn e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9824-9824 | O contra-dominio de MereologicalSumFn e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1776-1776 | Os valores retornados por AttrFn sao as sub-classes de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18451-18451 | Os valores retornados por MakingFn sao as sub-classes de Objeto |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5250-5250 | Os valores retornados por OrganicObjectFn sao as sub-classes de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15727-15727 | Artefato e' uma sub-classe de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14068-14068 | Corpo Astronomico e' uma sub-classe de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1556-1556 | AutonomousAgent e' uma sub-classe de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1261-1261 | Colecao e' uma sub-classe de Objeto |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24610-24610 | ContactSite e' uma sub-classe de Objeto |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3851-3851 | Magnet e' uma sub-classe de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1251-1251 | Regiao e' uma sub-classe de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 862-862 | Objeto auto-conectado e' uma sub-classe de Objeto |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2096-2096 | Shrapnel e' uma sub-classe de Objeto |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25644-25644 | SphericalObject e' uma sub-classe de Objeto |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2051-2051 | TornadoDamage e' uma sub-classe de Objeto |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15277-15277 | TransitwayObstacle e' uma sub-classe de Objeto |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4792-4792 | TwoDimensionalObject e' uma sub-classe de Objeto |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 815-815 | |
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. | Cars.kif 1276-1276 | O argumento numero 3 de AccelerationFn e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7662-7662 | O argumento numero 1 de CenterOfCircleFn e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4933-4933 | O argumento numero 1 de DiameterFn e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2624-2624 | O argumento numero 1 de LineFn e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2625-2625 | O argumento numero 2 de LineFn e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9865-9865 | O argumento numero 1 de MereologicalDifferenceFn e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9866-9866 | O argumento numero 2 de MereologicalDifferenceFn e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9844-9844 | O argumento numero 1 de MereologicalProductFn e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9845-9845 | O argumento numero 2 de MereologicalProductFn e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9822-9822 | O argumento numero 1 de MereologicalSumFn e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9823-9823 | O argumento numero 2 de MereologicalSumFn e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4952-4952 | O argumento numero 1 de RadiusFn e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 870-870 | O argumento numero 1 de absorbedDose e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 936-936 | O argumento numero 1 de adjacentOrientation e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 184-184 | O argumento numero 1 de advertisedOn e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25706-25706 | O argumento numero 1 de airTemperature e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31395-31395 | O argumento numero 1 de allowableValue e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Music.kif 357-357 | O argumento numero 2 de anthem e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31408-31408 | O argumento numero 1 de applicableRelation e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1926-1926 | O argumento numero 1 de askPrice e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1720-1720 | O argumento numero 1 de attribute e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17492-17492 | O argumento numero 1 de axis e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17493-17493 | O argumento numero 2 de axis e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7852-7852 | O argumento numero 1 de barometricPressure e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29794-29794 | O argumento numero 1 de beforeOnPath e' uma instancia de Objeto |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
consequent |