| RelationalAttribute(Atributo Relacional) | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1725-1726 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1817-1819 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 332-334 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1815-1815 | Atributo Relacional e' uma sub-classe de Atributo |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 15-15 | Atributo Relacional e' um atributo de Tourniquet |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14107-14107 | ActiveAgreement e' uma instancia de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15226-15226 | AdjoiningRoom e' uma instancia de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1174-1174 | AllWheelDrive e' uma instancia de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30208-30208 | Alone e' uma instancia de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2584-2584 | BadAirQuality e' uma instancia de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30163-30163 | Bare e' uma instancia de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30117-30117 | Barefoot e' uma instancia de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 754-754 | BereavedFather e' uma instancia de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 768-768 | BereavedMother e' uma instancia de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14376-14376 | Blank e' uma instancia de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1700-1700 | Breakfast e' uma instancia de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1844-1844 | Brunch e' uma instancia de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30146-30146 | Clothed e' uma instancia de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30300-30300 | Cloudy e' uma instancia de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29453-29453 | CoinOperated e' uma instancia de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29490-29490 | Collectible e' uma instancia de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27144-27144 | CommunalAttribute e' uma instancia de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1719-1719 | ComputerUser e' uma instancia de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1620-1620 | ContainerEmpty e' uma instancia de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1637-1637 | ContainerFull e' uma instancia de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30646-30646 | Dieting e' uma instancia de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1788-1788 | Dinner e' uma instancia de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27108-27108 | Domestic e' uma instancia de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1877-1877 | EKGAbnormal e' uma instancia de Atributo Relacional |
| 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. | Music.kif 295-295 | O argumento numero 2 de albumType e' uma instancia de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2436-2436 | O argumento numero 2 de associateWithStatus e' uma instancia de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 764-764 | O argumento numero 2 de colocatedAgent e' uma instancia de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1552-1552 | O argumento numero 2 de includedMeal e' uma instancia de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 628-628 | O argumento numero 2 de orgStaff e' uma instancia de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 461-461 | O argumento numero 2 de roomAttribute e' uma instancia de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 261-261 | O argumento numero 2 de someRoomsAttribute e' uma instancia de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1702-1702 | O conceito Atributo e' completamente decomposto em Atributo Interno + Atributo Relacional |
|
|
|