more pictures...
| InternalAttribute(attribut interne)
more pictures... | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1721-1722 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1806-1808 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 328-329 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11238-11238 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11237-11237 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11242-11242 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11241-11241 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11240-11240 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10072-10072 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11244-11244 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11243-11243 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1804-1804 | Attribut interne est une sous-classe de attribut |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2799-2799 | AcidicPH est une instance de attribut interne |
| No TPTP formula. May not be expressible in strict first order. | People.kif 699-699 | Agnostic est une instance de attribut interne |
| No TPTP formula. May not be expressible in strict first order. | People.kif 717-717 | Atheist est une instance de attribut interne |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19625-19625 | ChemicalEquilibrium est une instance de attribut interne |
| No TPTP formula. May not be expressible in strict first order. | People.kif 737-737 | Deist est une instance de attribut interne |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29425-29425 | DeviceDamaged est une instance de attribut interne |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29400-29400 | DeviceNormal est une instance de attribut interne |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17611-17611 | Fluid est une instance de attribut interne |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21605-21605 | Immiscible est une instance de attribut interne |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21594-21594 | Miscible est une instance de attribut interne |
| No TPTP formula. May not be expressible in strict first order. | People.kif 724-724 | NonDenominationalIndividual est une instance de attribut interne |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17764-17764 | Pliable est une instance de attribut interne |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17777-17777 | Rigid est une instance de attribut interne |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 363-363 | Vacuum est une instance de attribut interne |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1702-1702 | Attribut est compl�tement d�compos� en attribut interne + attribut relationnel |
| No TPTP formula. May not be expressible in strict first order. | People.kif 674-674 | Le domaine de BeliefGroupMemberFn est une instance de attribut interne |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 229-229 | AlgebroDifferentialAttribute est une sous-classe de attribut interne |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 725-725 | Autonomous est une sous-classe de attribut interne |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 711-711 | Backlashless est une sous-classe de attribut interne |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2600-2600 | BiodiversityAttribute est une sous-classe de attribut interne |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18045-18045 | Attribut biologique est une sous-classe de attribut interne |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19663-19663 | BreakabilityAttribute est une sous-classe de attribut interne |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 715-715 | Brushless est une sous-classe de attribut interne |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1860-1860 | DeviceStateAttribute est une sous-classe de attribut interne |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 209-209 | EquationAttribute est une sous-classe de attribut interne |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|