SelfConnectedObject
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1555-1556 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 864-865 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 126-127 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 146-147 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 862-862 | Objet en une partie est une sous-classe de objet |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1262-1262 | Collection est disjoint de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 899-899 | Le domaine de BackFn est une instance de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 879-879 | Le domaine de FrontFn est une instance de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14881-14881 | Les valeurs retourn�es par FoodForFn sont des sous-classes de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4492-4492 | BodyOfWater est une sous-classe de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1226-1226 | Objet corpusculaire est une sous-classe de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14896-14896 | Nourriture est une sous-classe de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4723-4723 | Iceberg est une sous-classe de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 867-867 | OrganicThing est une sous-classe de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2361-2361 | Ramp est une sous-classe de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2574-2574 | ShipContainer est une sous-classe de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1041-1041 | Substance est une sous-classe de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14288-14288 | Transitway est une sous-classe de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 816-816 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 834-834 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 492-492 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 25-25 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 28-28 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2177-2177 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 444-444 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 29-29 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 59-59 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 513-513 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 29-29 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 898-898 | Le nombre 1 argument de BackFn est une instance de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 878-878 | Le nombre 1 argument de FrontFn est une instance de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17940-17940 | Le nombre 1 argument de approximateDiameter est une instance de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9731-9731 | Le nombre 1 argument de bottom est une instance de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9732-9732 | Le nombre 2 argument de bottom est une instance de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6680-6680 | Le nombre 1 argument de capacity est une instance de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1019-1019 | Le nombre 1 argument de contains est une instance de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7550-7550 | Le nombre 1 argument de height est une instance de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 995-995 | Le nombre 2 argument de hole est une instance de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22698-22698 | Le nombre 1 argument de memberAtTime est une instance de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17400-17400 | Le nombre 1 argument de onboard est une instance de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9761-9761 | Le nombre 1 argument de side est une instance de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9762-9762 | Le nombre 2 argument de side est une instance de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9699-9699 | Le nombre 1 argument de surface est une instance de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9700-9700 | Le nombre 2 argument de surface est une instance de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9746-9746 | Le nombre 1 argument de top est une instance de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9747-9747 | Le nombre 2 argument de top est une instance de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7284-7284 | Le nombre 1 argument de weight est une instance de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1656-1656 | Le nombre 1 argument de ingredientAmount est une sous-classe de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1657-1657 | Le nombre 2 argument de ingredientAmount est une sous-classe de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2605-2605 | Le nombre 2 argument de trafficableForTrafficType est une sous-classe de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3036-3036 | Le nombre 2 argument de transitwayCapacityCount est une sous-classe de objet en une partie |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3046-3046 | Le nombre 2 argument de transitwayCapacityRate est une sous-classe de objet en une partie |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9543-9547 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 383-396 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 403-416 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12497-12502 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14476-14482 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12513-12518 |