TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30987-30990
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30995-30995	O argumento numero 1 de memberMeasure e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30996-30996	O argumento numero 2 de memberMeasure e' uma instancia de MeasurementAttribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30997-30997	O argumento numero 3 de memberMeasure e' uma instancia de Quantidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30986-30986	memberMeasure e' uma instancia de Predicado Ternario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30992-30993
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65873-65873

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31006-31011	memberMeasure Classe, MeasurementAttribute and Quantidade Classe e' uma instancia de Classe Entidade e' uma instancia de Classe Entidade e' uma instancia de Artefato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31013-31018	memberMeasure Classe, MeasurementAttribute and Quantidade Fisica Classe e' uma instancia de Classe Fisico e' uma instancia de Classe a medida de Fisico e' Quantidade Fisica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31312-31319	memberMeasure Conjunto, MeasurementAttribute and Duracao Temporal Conjunto e' uma instancia de Conjunto AutonomousAgent e' um elemento de Conjunto Processo e' uma instancia de Processo Processo e' um agente de AutonomousAgent Processo ocorre todos os Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31175-31180	memberMeasure Conjunto, MeasurementAttribute and Medida de Comprimento Conjunto e' uma instancia de Conjunto Objeto auto-conectado e' um elemento de Conjunto approximateDiameter Objeto auto-conectado and Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31100-31105	memberMeasure Conjunto, MeasurementAttribute and Medida de Comprimento Conjunto e' uma instancia de Conjunto Objeto e' um elemento de Conjunto circumfrence Objeto and Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31153-31158	memberMeasure Conjunto, MeasurementAttribute and Medida de Comprimento Conjunto e' uma instancia de Conjunto Objeto e' um elemento de Conjunto o diametro de Objeto e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31079-31084	memberMeasure Conjunto, MeasurementAttribute and Medida de Comprimento Conjunto e' uma instancia de Conjunto Objeto auto-conectado e' um elemento de Conjunto a altura de Objeto auto-conectado e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31048-31053	memberMeasure Conjunto, MeasurementAttribute and Medida de Comprimento Conjunto e' uma instancia de Conjunto Fisico e' um elemento de Conjunto o comprimento de Fisico e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30999-31004	memberMeasure Conjunto, MeasurementAttribute and Quantidade Fisica Conjunto e' uma instancia de Conjunto Fisico e' um elemento de Conjunto a medida de Fisico e' Quantidade Fisica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31204-31209	memberMeasure Conjunto, MeasurementAttribute and Medida de Area Conjunto e' uma instancia de Conjunto Regiao e' um elemento de Conjunto totalArea Regiao and Medida de Area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31344-31349	memberMeasure Conjunto, MeasurementAttribute and Funcao de Quantidade Conjunto e' uma instancia de Conjunto ElectricalTransformer e' um elemento de Conjunto transformerCapacity ElectricalTransformer and Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31226-31231	memberMeasure Conjunto, MeasurementAttribute and Funcao de Quantidade Conjunto e' uma instancia de Conjunto ElectricalTransformer e' um elemento de Conjunto voltageRatingPrimary ElectricalTransformer and Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31269-31274	memberMeasure Conjunto, MeasurementAttribute and Funcao de Quantidade Conjunto e' uma instancia de Conjunto ElectricalTransformer e' um elemento de Conjunto voltageRatingSecondary ElectricalTransformer and Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31067-31072	memberMeasure Conjunto, MeasurementAttribute and Medida de Comprimento Conjunto e' uma instancia de Conjunto Fisico e' um elemento de Conjunto a largura de Fisico e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31182-31187	memberMeasure Classe, ApproximateDiameter and Medida de Comprimento Classe e' uma instancia de Classe Objeto auto-conectado e' uma instancia de Classe approximateDiameter Objeto auto-conectado and Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31211-31216	memberMeasure Classe, Area and Medida de Area Classe e' uma instancia de Classe Regiao e' uma instancia de Classe totalArea Regiao and Medida de Area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31107-31112	memberMeasure Classe, Circumfrence and Medida de Comprimento Classe e' uma instancia de Classe Objeto e' uma instancia de Classe circumfrence Objeto and Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31160-31165	memberMeasure Classe, Diameter and Medida de Comprimento Classe e' uma instancia de Classe Objeto e' uma instancia de Classe o diametro de Objeto e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31321-31328	memberMeasure Classe, Frequency and Duracao Temporal Classe e' uma instancia de Classe AutonomousAgent e' uma instancia de Classe Processo e' uma instancia de Processo Processo e' um agente de AutonomousAgent Processo ocorre todos os Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31041-31046	memberMeasure Classe, Length and Medida de Comprimento Classe e' uma instancia de Classe Fisico e' uma instancia de Classe o comprimento de Fisico e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31351-31356	memberMeasure Classe, TransformerCapacity and Funcao de Quantidade Classe e' uma instancia de Classe ElectricalTransformer e' uma instancia de Classe transformerCapacity ElectricalTransformer and Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31233-31238	memberMeasure Classe, VoltageRatingPrimary and Funcao de Quantidade Classe e' uma instancia de Classe ElectricalTransformer e' uma instancia de Classe voltageRatingPrimary ElectricalTransformer and Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31276-31281	memberMeasure Classe, VoltageRatingSecondary and Funcao de Quantidade Classe e' uma instancia de Classe ElectricalTransformer e' uma instancia de Classe voltageRatingSecondary ElectricalTransformer and Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31086-31091	memberMeasure Classe, Width and Medida de Comprimento Classe e' uma instancia de Classe Objeto auto-conectado e' uma instancia de Classe a altura de Objeto auto-conectado e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31060-31065	memberMeasure Classe, Width and Medida de Comprimento Classe e' uma instancia de Classe Fisico e' uma instancia de Classe a largura de Fisico e' Medida de Comprimento

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: