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 17301-17301 | modalAttribute e' uma sub-relacao de property |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25575-25575 | 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 14055-14058 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14016-14021 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17332-17345 |
|
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 2130-2143 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20823-20836 |
|
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 30567-30567 | Cheetah tem um atributo de VulnerableSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30543-30543 | Crocodile tem um atributo de LeastConcernSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30584-30584 | Ferret tem um atributo de LeastConcernSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30602-30602 | GuineaPig tem um atributo de LeastConcernSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30614-30614 | Hamster tem um atributo de LeastConcernSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30473-30473 | Lemur tem um atributo de CriticallyEndangeredSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30374-30374 | Lion tem um atributo de VulnerableSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30503-30503 | Octopus tem um atributo de LeastConcernSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30490-30490 | Panda tem um atributo de VulnerableSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30456-30456 | Parrot tem um atributo de LeastConcernSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30525-30525 | Reindeer tem um atributo de VulnerableSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30433-30433 | Rhinoceros tem um atributo de EndangeredSpecies |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30413-30413 | Tiger tem um atributo de EndangeredSpecies |