property |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1712-1713 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1711-1713 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 315-317 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1708-1708 | O argumento numero 1 de property e' uma instancia de Entidade |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1709-1709 | O argumento numero 2 de property e' uma instancia de Atributo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1707-1707 | property e' uma instancia de Predicado Binario |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 177-177 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 178-178 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 108-108 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 235-235 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1937-1937 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 60-60 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 72-72 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 223-223 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 273-273 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 127-127 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 113-113 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 427-427 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1617-1617 | abstractionLevel e' uma sub-relacao de property |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1719-1719 | attribute e' uma sub-relacao de property |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1514-1514 | complexity e' uma sub-relacao de property |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1373-1373 | designPattern e' uma sub-relacao de property |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 459-459 | environmentAttributes e' uma sub-relacao de property |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1470-1470 | formOfAdaptation e' uma sub-relacao de property |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1731-1731 | manner e' uma sub-relacao de property |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17323-17323 | modalAttribute e' uma sub-relacao de property |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25574-25574 | shape e' uma sub-relacao de property |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 796-796 | status e' uma sub-relacao de property |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1553-1553 | strictness e' uma sub-relacao de property |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1342-1342 | systemBehavior e' uma sub-relacao de property |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3260-3266 | Agreement emprega Agreement Agente Cognitivo Agente Cognitivo tem um atributo de Employment partyToAgreement Agente Cognitivo and Agreement partyToAgreement Agente Cognitivo and Agreement |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 989-992 | ComputerProcess programRunning ComputerProcess and Programa de Computador Programa de Computador tem um atributo de Executable |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 411-413 | Entidade e' uma instancia de BroadGaugeRailway Entidade tem um atributo de BroadGauge |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 469-471 | Entidade e' uma instancia de DualGaugeRailway Entidade tem um atributo de DualGauge |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 460-462 | Entidade e' uma instancia de NarrowGaugeRailway Entidade tem um atributo de NarrowGauge |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 443-445 | Entidade e' uma instancia de StandardGaugeRailway Entidade tem um atributo de StandardGauge |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14054-14057 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14015-14020 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17354-17367 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 476-484 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1162-1171 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 995-1000 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1165-1169 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1159-1163 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1137-1141 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1131-1135 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 501-517 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2712-2716 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2126-2139 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20822-20835 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1214-1218 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 267-272 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 260-265 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 326-331 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 63-67 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30555-30555 | Cheetah tem um atributo de VulnerableSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30531-30531 | Crocodile tem um atributo de LeastConcernSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30572-30572 | Ferret tem um atributo de LeastConcernSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30590-30590 | GuineaPig tem um atributo de LeastConcernSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30602-30602 | Hamster tem um atributo de LeastConcernSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30461-30461 | Lemur tem um atributo de CriticallyEndangeredSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30362-30362 | Lion tem um atributo de VulnerableSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30491-30491 | Octopus tem um atributo de LeastConcernSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30478-30478 | Panda tem um atributo de VulnerableSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30444-30444 | Parrot tem um atributo de LeastConcernSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30513-30513 | Reindeer tem um atributo de VulnerableSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30421-30421 | Rhinoceros tem um atributo de EndangeredSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30401-30401 | Tiger tem um atributo de EndangeredSpecies |