InternalAttribute
|
|
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 | Atributo Interno e' uma sub-classe de Atributo |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2799-2799 | AcidicPH e' uma instancia de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. | People.kif 699-699 | Agnostic e' uma instancia de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. | People.kif 717-717 | Atheist e' uma instancia de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19653-19653 | ChemicalEquilibrium e' uma instancia de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. | People.kif 737-737 | Deist e' uma instancia de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29488-29488 | DeviceDamaged e' uma instancia de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29463-29463 | DeviceNormal e' uma instancia de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17668-17668 | Fluid e' uma instancia de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21633-21633 | Immiscible e' uma instancia de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21622-21622 | Miscible e' uma instancia de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. | People.kif 724-724 | NonDenominationalIndividual e' uma instancia de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17821-17821 | Pliable e' uma instancia de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17834-17834 | Rigid e' uma instancia de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 363-363 | Vacuum e' uma instancia de Atributo Interno |
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 |
No TPTP formula. May not be expressible in strict first order. | People.kif 674-674 | O contra-dominio de BeliefGroupMemberFn e' uma instancia de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 229-229 | AlgebroDifferentialAttribute e' uma sub-classe de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 725-725 | Autonomous e' uma sub-classe de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 711-711 | Backlashless e' uma sub-classe de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2600-2600 | BiodiversityAttribute e' uma sub-classe de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18102-18102 | Atributo Biologico e' uma sub-classe de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19691-19691 | BreakabilityAttribute e' uma sub-classe de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 715-715 | Brushless e' uma sub-classe de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1853-1853 | DeviceStateAttribute e' uma sub-classe de Atributo Interno |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 209-209 | EquationAttribute e' uma sub-classe de Atributo Interno |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |