TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10663-10664
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10661-10661	antagonistMuscles 的 1 数量是肌肉的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10662-10662	antagonistMuscles 的 2 数量是肌肉的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10659-10659	antagonistMuscles 是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10660-10660	antagonistMuscles 是非自反关系的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10666-10666
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10665-10665

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10685-10696	如果 antagonistMuscles 有点肌肉 and 另一个有点肌肉和过程是 Extension 的 instance 和有点肌肉C 是导致那个过程的 instrument 和移动运动 and 另一个有点肌肉C 和那个有点肌肉C 是那个有点肌肉的 instance 和那个另外有点肌肉C 是那个另外有点肌肉的 instance 和那个有点肌肉C 是第三客体的 part 和那个另外有点肌肉C 是那个第三客体的 part 和那个第三客体是哺乳动物的 instance，然后那个另外有点肌肉C 能够担当工具的角色做 Flexion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10672-10683	如果 antagonistMuscles 有点肌肉 and 另一个有点肌肉和运动是 Flexion 的 instance 和有点肌肉C 是导致那个运动的 instrument 和移动那个运动 and 另一个有点肌肉C 和那个有点肌肉C 是那个有点肌肉的 instance 和那个另外有点肌肉C 是那个另外有点肌肉的 instance 和那个有点肌肉C 是第三客体的 part 和那个另外有点肌肉C 是那个第三客体的 part 和那个第三客体是哺乳动物的 instance，然后那个另外有点肌肉C 能够担当工具的角色做 Extension

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2198-2198	antagonistMuscles AbductorDigitiMinimiMuscle and FlexorDigitiMinimiBrevisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2188-2188	antagonistMuscles AbductorHallucisMuscle and AdductorHallucisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2135-2135	antagonistMuscles AdductorHallucisMuscle and AbductorHallucisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1588-1588	antagonistMuscles AdductorPollicisMuscle and AbductorPollicisBrevisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1542-1542	antagonistMuscles AdductorPollicisMuscle and AbductorPollicisLongusMuscle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10698-10698	antagonistMuscles Bicep and Tricep
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10700-10700	antagonistMuscles CalfMuscle and ShinMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1193-1193	antagonistMuscles DeltoidMuscle and LatissimusDorsiMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2207-2207	antagonistMuscles DorsalInterosseiMuscle and PlantarInterosseiMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 833-833	antagonistMuscles ErectorSpinaeMuscle and RectusAbdominisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 891-891	antagonistMuscles ErectorSpinaeMuscle and RectusAbdominusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1407-1407	antagonistMuscles ExtensorCarpiRadialisBrevisExtensorCarpiRadialisLongusExtensorCarpiUlnarisMuscle and PalmarisLongusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1398-1398	antagonistMuscles ExtensorCarpiRadialisBrevisExtensorCarpiRadialisLongusMuscle and FlexorCarpiRadialisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1418-1418	antagonistMuscles ExtensorCarpiUlnarisMuscle and FlexorCarpiUlnarisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1625-1625	antagonistMuscles ExtensorDigitiMinimiMuscle and FingerFlexorDigitiMinimiBrevisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2143-2143	antagonistMuscles ExtensorDigitorumLongusExtensorDigitorumBrevisMuscle and FlexorDigitorumBrevisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2070-2070	antagonistMuscles ExtensorDigitorumLongusExtensorDigitorumBrevisMuscle and FlexorDigitorumLongusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1447-1447	antagonistMuscles ExtensorDigitorumMuscle and FlexorDigitorumProfundusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1427-1427	antagonistMuscles ExtensorDigitorumMuscle and FlexorDigitorumSuperficialisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2178-2178	antagonistMuscles ExtensorHallucisLongusMuscle and FlexorHallucisBrevis
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2061-2061	antagonistMuscles ExtensorHallucisLongusMuscle and FlexorHallucisLongusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1579-1579	antagonistMuscles ExtensorPollicisLongusExtensorPollicisBrevisMuscle and FlexorPollicisBrevisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1458-1458	antagonistMuscles ExtensorPollicisLongusExtensorPollicisBrevisMuscle and FlexorPollicisLongusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1026-1026	antagonistMuscles ExternalIntercostalsMuscle and InternalIntercostalsMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1976-1976	antagonistMuscles FibularisLongusGastrocnemiusSoleusPlantarisTibialisPosteriorMuscle and TibialisAnteriorMuscle

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: