TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1731-1733
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1736-1736	O argumento numero 1 de muscleInsertion e' uma sub-classe de Musculo
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1737-1737	O argumento numero 2 de muscleInsertion e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1735-1735	muscleInsertion e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1738-1738
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1739-1739

antecedent

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1745-1756	muscleInsertion Musculo and Parte do Corpo Objeto e' uma instancia de Humano Healthy e' um atributo de Objeto Objeto Objeto Objeto e' uma instancia de Musculo Objeto e' uma instancia de Parte do Corpo Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto conecta Objeto e
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1758-1780	muscleInsertion Musculo and Parte do Corpo Objeto e' uma instancia de Humano StandardAnatomicalPosition e' um atributo de Objeto vale durante Intervalo Temporal Healthy e' um atributo de Objeto Intervalo Temporal e' uma instancia de MuscularContraction tempo de existencia de Intervalo Temporal acontece durante Intervalo Temporal Objeto e' uma instancia de Musculo Objeto e' uma &parte de Objeto Objeto e' um instrumento para Intervalo Temporal physicalEnd Objeto and Objeto Objeto encontra Objeto Objeto e' situado em Entidade vale durante o comeco de Intervalo Temporal Objeto e' situado em Entidade vale durante o fim de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1741-1743	muscleInsertion Parte do Corpo and Parte do Corpo connectedBodyPart Parte do Corpo and Parte do Corpo

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1611-1611	muscleInsertion AbductorDigitiMinimiMuscle and BaseOfProximalPhalanxOf5ThDigitOnUlnarOrMedialSide
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2147-2147	muscleInsertion AbductorDigitiMinimiMuscle and PhalangesOfFifthToe
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2130-2130	muscleInsertion AbductorHallucisMuscle and MedialSideOfBaseOfProximalPhalanxOfFirstDigit
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1584-1584	muscleInsertion AbductorPollicisBrevisMuscle and RadialBaseOfProximalPhalanxOfThumbAndThumbExtensors
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1538-1538	muscleInsertion AbductorPollicisLongusMuscle and FirstMetacarpal
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1593-1593	muscleInsertion AbductorPollicisMuscle and RadialBaseOfProximalPhalanxOfThumbAndUlnarSesamoid
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1941-1941	muscleInsertion AdductorBrevisMuscle and LesserTrochanterAndLineaAsperaOfFemur
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2183-2183	muscleInsertion AdductorHallucisMuscle and PhalanxOfBigToe
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1950-1950	muscleInsertion AdductorLongusMuscle and MiddleThirdOfLineaAspera
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1959-1959	muscleInsertion AdductorMagnusMuscle and FemurAdductorTubercleOfFemur
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1908-1908	muscleInsertion AdductorMusclesOfTheHipMuscle and FemurTibia
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1372-1372	muscleInsertion AnconeusMuscle and LateralSurfaceOfOlecranonSuperiorPartOfPosteriorUlna
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1812-1812	muscleInsertion ArticularisGenusMuscle and SuprapatellarBursa
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 542-542	muscleInsertion ArytenoidTransverseAndObliqueMuscle and ArytenoidCartilageOnOppositeSide
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 166-166	muscleInsertion AuricularisAnteriorMuscle and FrontOfHelixOfEar
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 182-182	muscleInsertion AuricularisPosteriorMuscle and DorsalPartOfAuricle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 174-174	muscleInsertion AuricularisSuperiorMuscle and DorsocranialSurfaceOfAuricle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1343-1343	muscleInsertion BicepsBrachiiMuscle and RadialTuberosity
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1875-1875	muscleInsertion BicepsFemorisMuscle and HeadOfFibula
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1351-1351	muscleInsertion BrachialisMuscle and CoronoidProcessOfUlnaTuberosityOfUlna
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1492-1492	muscleInsertion BrachioradialisMuscle and RadialStyloidProcessDistalRadius
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 296-296	muscleInsertion BuccinatorMuscle and FibresOfOrbicularisOris
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 396-396	muscleInsertion ChondroglossusMuscle and IntrinsicMuscularFibersOfTongue
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1090-1090	muscleInsertion CoccygeusMuscle and Coccyx
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1333-1333	muscleInsertion CoracobrachialisMuscle and MedialSurfaceOfHumerus

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: